Software Engineering Specification Systems (29 results)
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
£ 33.48
£ 10.64 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.67
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 51.76
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.66
£ 1.95 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2019
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
£ 56.80
£ 2.77 shippingShips within U.S.A.Quantity: 1 available
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.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 49.38
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2020
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.92
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.91
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: WeBuyBooks, Rossendale, LANCS, United KingdomWeBuyBooks
Contact seller5-star sellerCondition: Used - Good
£ 61.11
£ 10.42 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 65.46
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 269 pages. 9.00x6.00x0.60 inches. In Stock.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 72.20
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 804 pages. 9.25x6.10x1.82 inches. In Stock.
Language: English
Published by Springer, 2019
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 76.40
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer-Verlag New York Inc, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 73.56
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 1st edition. 749 pages. 9.50x6.50x1.25 inches. In Stock.
Language: English
Published by Springer, 2010
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 83.07
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 2010-02-12, 2010
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 81.13
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Language: English
Published by Springer Berlin Heidelberg, 2010
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.09
£ 56.39 shippingShips from Germany to U.S.A.Quantity: 1 available
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, mathema…tics-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.
More imagesLanguage: English
Published by Springer, 2010
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.37
£ 59.84 shippingShips from Germany to U.S.A.Quantity: 5 available
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.
Language: English
Published by Springer Berlin Heidelberg, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.09
£ 57.11 shippingShips from Germany to U.S.A.Quantity: 1 available
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-ba…sed 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.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 117.30
£ 5.14 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
Language: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
£ 36.89
£ 89.76 shippingShips from Germany to U.S.A.Quantity: 1 available
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 f…ormal, 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.
Language: English
Published by Springer, 2020
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
£ 102.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer, 2019
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 117.03
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 234 pages. 9.25x6.25x0.75 inches. In Stock.
Language: English
Published by Springer, 2019
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
£ 128.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer Nature (Sie), 2007
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 168.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
More imagesLanguage: English
Published by Springer, 2006
Series: Book 23 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.19
£ 59.84 shippingShips from Germany to U.S.A.Quantity: 5 available
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.
Language: English
Published by Springer, 2019
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 108.81
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. XII, 234 195 illus., 2 illus. in color.
Language: English
Published by Springer, 2019
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 114.77
£ 8.51 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. XII, 234 195 illus., 2 illus. in color.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 83.12
£ 59.84 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Functional Specification | Software development, Systems engineering, Benchmarking, Extensible Firmware Interface, Software development process, Specification | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131634284 | Verantwortliche Person für die EU: preigu Gm…bH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
