Seller: Ammareal, Morangis, France
US$ 3.62
Convert currencyQuantity: 1 available
Add to basketHardcover. 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.
Seller: ALLBOOKS1, Direk, SA, Australia
US$ 57.99
Convert currencyQuantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Seller: ALLBOOKS1, Direk, SA, Australia
US$ 58.52
Convert currencyQuantity: 4 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING.
Seller: Best Price, Torrance, CA, U.S.A.
Condition: New. SUPER FAST SHIPPING.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 60.52
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 60.52
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 70.30
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 111.57
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 112.24
Convert currencyQuantity: 10 available
Add to basketPaperback. Condition: New.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 100.54
Convert currencyQuantity: 2 available
Add to basketPaperback. Condition: Brand New. 804 pages. 9.25x6.10x1.82 inches. In Stock.
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642059406 ISBN 13: 9783642059407
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 64.52
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.
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540211500 ISBN 13: 9783540211501
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 64.52
Convert currencyQuantity: 1 available
Add to basketBuch. 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.
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540211500 ISBN 13: 9783540211501
Language: English
Seller: Buchpark, Trebbin, Germany
US$ 19.08
Convert currencyQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Seller: BennettBooksLtd, San Diego, NV, U.S.A.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!