Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
ISBN 10: 3540211500 ISBN 13: 9783540211501
Published by Springer, 2006
Used
Hardcover
From
Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
AbeBooks Seller since April 15, 2021
This specific item is no longer available.
About this Item
Description:
Like New. Seller Inventory # ERICA70435402115005
Synopsis:
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.
About the Author: MSc.EE, 1962, PhD.CS 1969;IBM 1962-1975 (R&D: Sweden, California USA, Switzerland, Austria);Prof. Techn.Univ. of Denmark 1976--...;Guest Profs.: Univ. of California at Berkeley, Kiel Univ., Natl.Univ. of Singapore; Founder & Scientific Director: Dansk Datamatik Center (19791989); UN Director, UN Univ. Intl. Inst. f. Softw.Techn., Macau (1991-1997);Co-founder of (VDM now) Formal Methods Europe, 1987-...;Member of Academia Europaea;Member of the Russian Academy of Natural Sciences (AB);The Ths.Masaryk Gold Medal, Masaryk Univ., Brno, Czech Republic;The John von Neumann Medal, Hungarian Computer (JvN) Society;Knight of the Danish Flag
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Software Engineering 2: Specification of ...
Publisher: Springer
Publication Date: 2006
Binding: Hardcover
Condition: Like New
Book Type: book
Top Search Results from the AbeBooks Marketplace
Stock Image
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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. Seller Inventory # E-505-876
Buy Used
US$ 3.63
US$ 24.06 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
Stock Image
Software Engineering 2 : Specification of Systems and Languages
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 1731330/12
Buy Used
US$ 17.22
US$ 123.24 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Seller: 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. Seller Inventory # Z1-A-004--02249
Buy Used
US$ 41.68
US$ 14.22 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Software Engineering 2
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-91496
Stock Image
Software Engineering 2
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-239125
Stock Image
Software Engineering 2 (Hb)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-239126
Stock Image
Software Engineering 2 (Hb)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-291523
Stock Image
Software Engineering 2 (Hb)
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # ASNT3-291523
Seller Image
Software Engineering 2
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540211500
ISBN 13: 9783540211501
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 4885044
Buy New
US$ 57.10
US$ 57.50 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Software Engineering 2 | Specification of Systems and Languages
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Software Engineering 2 | Specification of Systems and Languages | Dines Bjørner | Buch | xxiv | Englisch | 2006 | Springer-Verlag GmbH | 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. Seller Inventory # 102377480
Buy New
US$ 59.41
US$ 82.16 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available