Seller: Ammareal, Morangis, France
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
More buying choices from other sellers on AbeBooks
New offers from £ 38.13
Used offers from £ 9.33
Also find Hardcover
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642059406 ISBN 13: 9783642059407
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
£ 47.68
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1of this series is a prerequisite text.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 79.13
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Tsinghua University Press, 2000
ISBN 10: 7302208905 ISBN 13: 9787302208907
Language: English
Seller: liu xing, Nanjing, JS, China
£ 75.13
Convert currencyQuantity: 10 available
Add to basketpaperback. Condition: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pages Number: 37568 Publisher: Tsinghua University Press Pub. Date :2010-01. Software Engineering Volume 1 ~ 3 is the von Neumann Medal. the world s leading computer scientist Dines Bjorner Professor s latest book. This series for readers to understand software and software development process provides a whole new perspective. This three-volume book first systematic exposition of how to use formal methods to guide the field of engineering. requirements engineering and software design. software engineering that three interrelated and overlapping components. or software engineering known as the trilogy . In all stages of software development. if we can use this formal pattern of development. will be able to guarantee a great extent the correctness and effectiveness of software development. This series can be regarded as a landmark in the history of software engineering work. Authors 30 years of programming methodology of the study and practice. coupled with 25 years continuous improvement of lecture notes compiled this set of coherent. consistent and relatively complete software engineering books. This series is a notable feature in this three-volume book. all the principles. techniques and tools through a large number of case studies to be described. and covers all major software development period. the stage and steps; same time. these principles. techniques and tools can be used in large industrial and commercial software development projects go.Four Satisfaction guaranteed,or money back.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 97.62
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 97.62
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 97.62
Used offers from £ 179
Also find Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 108.02
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 149.61
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 149.61
Used offers from £ 165.72
Also find Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 149.62
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Condition: Like New. Like New. book.
Published by Springer Nature (Sie), 2007
ISBN 10: 8181287851 ISBN 13: 9788181287854
Language: English
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. Like New. book.