Articles liés à Software Engineering 2: Specification of Systems and...
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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 54,56
EUR 2,28 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Software Engineering 2: Specification of Systems and...
Image fournie par le vendeur
Software Engineering 2 : Specification of Systems and Languages
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 12701812-n
Quantité disponible : 15 disponible(s)
Image d'archives
Software Engineering 2 (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642059406
ISBN 13 : 9783642059407
Neuf
Paperback
Edition originale
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783642059407
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020215182
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering 2 : Specification of Systems and Languages
Edité par
Springer, 2010
ISBN 10 : 3642059406
ISBN 13 : 9783642059407
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 12701812
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Software Engineering 2
Edité par
Springer Berlin Heidelberg Feb 2010, 2010
ISBN 10 : 3642059406
ISBN 13 : 9783642059407
Neuf
Taschenbuch
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
Quantité disponible : 2 disponible(s)
Image d'archives
Software Engineering 2
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 806. N° de réf. du vendeur 263057976
Quantité disponible : 4 disponible(s)
Image d'archives
Software Engineering 2
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 806 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5838567
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Software Engineering 2
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
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering 2
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 806. N° de réf. du vendeur 183057970
Quantité disponible : 4 disponible(s)
Image d'archives
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642059407_new
Quantité disponible : Plus de 20 disponibles