Order Total (1 Item Items):
Shipping Destination:
Software Engineering Specification Systems (35 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (35)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (23)
- As New, Fine or Near Fine (5)
- Very Good or Good (7)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (11)
- Not Print on Demand (30)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.
-
Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering)
Language: English
Published by McGraw-Hill Publishing Co. 01/05/1994, 1994
ISBN 10: 0077079663 ISBN 13: 9780077079666
Paperback. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Software Engineering 2 : Specification of Systems and Languages
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin / Heidelberg, 2006
ISBN 10: 3540211500 ISBN 13: 9783540211501
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
-
Condition: As New. Unread book in perfect condition.
-
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
The Specification and Design of Concurrent Systems (Mcgraw-Hill International Series in Software Engineering)
Language: English
Published by McGraw-Hill Publishing Co. 01.03.1994., 1994
ISBN 10: 0077079663 ISBN 13: 9780077079666
Taschenbuch. Condition: Gut. 256 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.
-
Software Engineering : Specification Of Systems And Languages
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Hardcover. Condition: Near Fine. 1st Edition.
-
Designing Enterprise Information Systems: Merging Enterprise Modeling and Software Specification (The Enterprise Engineering Series)
Book 11 of 12: The Enterprise Engineering SeriesSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 55.51
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Software Engineering : Specification Of Systems And Languages
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. 1st edition. 269 pages. 9.00x6.00x0.60 inches. In Stock.
-
-
Designing Enterprise Information Systems: Merging Enterprise Modeling and Software Specification (The Enterprise Engineering Series)
Book 11 of 12: The Enterprise Engineering SeriesSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 71.39
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: Brand New. 804 pages. 9.25x6.10x1.82 inches. In Stock.
-
Software Engineering: Specification Of Systems And Languages: Vol 2
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer-Verlag New York Inc, 2006
ISBN 10: 3540211500 ISBN 13: 9783540211501
Hardcover. Condition: Brand New. 1st edition. 749 pages. 9.50x6.50x1.25 inches. In Stock.
-
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 82.44
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Software Engineering 2 : Specification of Systems and Languages
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642059406 ISBN 13: 9783642059407
Taschenbuch. 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.
-
Taschenbuch. Condition: Neu. Software Engineering 2 | Specification of Systems and Languages | Dines Bjørner | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xxiv | Englisch | 2010 | Springer | EAN 9783642059407 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Software Engineering 2 : Specification of Systems and Languages
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540211500 ISBN 13: 9783540211501
Buch. 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.
-
The Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering)
Language: English
Published by McGraw-Hill Book Co Ltd, 1994
ISBN 10: 0077079663 ISBN 13: 9780077079666
paperback. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 808 | Sprache: Englisch | Produktart: Bücher | 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.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
-
Hardcover. Condition: Brand New. 234 pages. 9.25x6.25x0.75 inches. In Stock.
-
Hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Software Engineering 2: Specification of Systems and Languages
Book 23 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer Nature (Sie), 2007
ISBN 10: 8181287851 ISBN 13: 9788181287854
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
