Software Engineering 2: Specification of Systems and Languages - Couverture souple

Bj�rner, Dines

9783642059407: Software Engineering 2: Specification of Systems and Languages

Couverture souple

ISBN 10 : 3642059406 ISBN 13 : 9783642059407

Editeur : Springer, 2010

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

8 Neuf

De EUR 48,74

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 � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteurSpringer
Date d'�dition2010
ISBN 10 3642059406
ISBN 13 9783642059407
ReliureBroch�
Langueanglais
Nombre de pages804
Coordonn�es du fabricantnon disponible

Acheter neuf

Afficher cet article

EUR 48,74

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9783540211501: Software Engineering: Specification Of Systems And Languages

Edition pr�sent�e

ISBN 10 : 3540211500 ISBN 13 : 9783540211501
Editeur : Springer-Verlag Berlin and Heide..., 2006
Couverture rigide

(Couverture souple)

R�sultats de recherche pour Software Engineering 2: Specification of Systems and...

Image fournie par le vendeur

Software Engineering 2

Dines Bj�rner

Edit� par Springer Berlin Heidelberg, 2010

ISBN 10 : 3642059406 ISBN 13 : 9783642059407

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 5045068

Contacter le vendeur

Acheter neuf

EUR 48,74

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Software Engineering 2 : Specification of Systems and Languages

Dines Bj�rner

Edit� par Springer Berlin Heidelberg, 2010

ISBN 10 : 3642059406 ISBN 13 : 9783642059407

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783642059407

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Software Engineering 2

Dines Bj�rner

Edit� par Springer Berlin Heidelberg Feb 2010, 2010

ISBN 10 : 3642059406 ISBN 13 : 9783642059407

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 1 of this series is a prerequisite text. 804 pp. Englisch. N� de r�f. du vendeur 9783642059407

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An Eatcs Series)

Dines Bjorner

Edit� par Springer, 2006

ISBN 10 : 3642059406 ISBN 13 : 9783642059407

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 804 pages. 9.25x6.10x1.82 inches. In Stock. N� de r�f. du vendeur x-3642059406

Contacter le vendeur

Acheter neuf

EUR 88,55

Autre devise

Frais de port : EUR 11,92

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Software Engineering 2

Dines Bj�rner

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2010, 2010

ISBN 10 : 3642059406 ISBN 13 : 9783642059407

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 804 pp. Englisch. N� de r�f. du vendeur 9783642059407

Contacter le vendeur