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
Edité par Springer, 2006
Neuf(s) Couverture rigide

Vendeur Ria Christie Collections, Uxbridge, Royaume-Uni Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 25 mars 2015

A propos de cet article

Description :

In. N° de réf. du vendeur ria9783540211501_new

Signaler cet article

Synopsis :

This second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics as modularity (UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. The book presents principles and techniques for developing the basis for sound, efficient interpreter and compiler development of functional, imperative, modular and parallel programming languages.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Software Engineering 2: Specification of ...
Éditeur : Springer
Date d'édition : 2006
Reliure : Couverture rigide
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

dines-bjorner
Edité par FisicalBook, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Ancien ou d'occasion Couverture rigide

Vendeur : Ammareal, Morangis, France

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : 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. N° de réf. du vendeur E-505-876

Contacter le vendeur

Acheter D'occasion

EUR 3
EUR 20,50 shipping
Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 1731330/12

Contacter le vendeur

Acheter D'occasion

EUR 14,24
EUR 105 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bj�rner, Dines
Edité par Springer, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Ancien ou d'occasion Couverture rigide

Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur Z1-A-004--02249

Contacter le vendeur

Acheter D'occasion

EUR 35,61
EUR 12,15 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dines Bjørner
Edité par Springer Berlin Heidelberg, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Neuf Couverture rigide

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 4885044

Contacter le vendeur

Acheter neuf

EUR 47,23
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Bjorner D.
Edité par Springer, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Neuf Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-239126

Contacter le vendeur

Acheter neuf

EUR 47,46
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Neuf Couverture rigide

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur ABNR-291523

Contacter le vendeur

Acheter neuf

EUR 47,46
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Neuf Couverture rigide

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur ABNR-91496

Contacter le vendeur

Acheter neuf

EUR 47,57
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

0
Edité par Springer, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Neuf Couverture rigide

Vendeur : Basi6 International, Irving, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-239125

Contacter le vendeur

Acheter neuf

EUR 47,57
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dines Bjørner
Edité par Springer-Verlag GmbH, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Neuf Couverture rigide
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : 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. N° de réf. du vendeur 102377480

Contacter le vendeur

Acheter neuf

EUR 49,15
EUR 70 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2006
ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Neuf Couverture rigide

Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-291523

Contacter le vendeur

Acheter neuf

EUR 49,55
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 18 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre