Order Total (1 Item Items):
Shipping Destination:
Software Engineering Specification Systems (33 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (33)
- 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 (24)
- As New, Fine or Near Fine (5)
- Very Good or Good (4)
- 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 (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (28)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
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.
-
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: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
-
-
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.80
£ 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: New.
-
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.92
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Hardcover. Condition: Near Fine. 1st Edition.
-
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.
-
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.
-
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.92
£ 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
£ 83.07
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
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.
-
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.
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
-
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: 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.
-
Hardcover. Condition: Brand New. 234 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
-
Buch. Condition: Neu. Software Engineering 2 | Specification of Systems and Languages | Dines Bjørner | Buch | Texts in Theoretical Computer Science. An EATCS Series | xxiv | Englisch | 2006 | Springer | EAN 9783540211501 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
