SOFTWARE ENGINEERING 1: ABSTRACTION AND MODELLING

BJORNER DINES

ISBN 10: 8181287843 ISBN 13: 9788181287847
Edité par SPRINGER (SIE), 2010
Ancien(s) ou d'occasion Paperback

Vendeur Mispah books, Redhill, SURRE, Royaume-Uni Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 15 avril 2021

Nous sommes désolés, cet exemplaire spécifique n'est plus disponible. Voici nos correspondances les plus proches pour SOFTWARE ENGINEERING 1: ABSTRACTION AND MODELLING de BJORNER DINES.
Afficher tous les articles du vendeur Créer une demande de livres portant sur des articles similaires

A propos de cet article

Description :

Like New. N° de réf. du vendeur ERICA79681812878436

Signaler cet article

Détails bibliographiques

Titre : SOFTWARE ENGINEERING 1: ABSTRACTION AND ...
Éditeur : SPRINGER (SIE)
Date d'édition : 2010
Reliure : Paperback
Etat : Like New
Type de livre : book

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

Dines Bjørner
Edité par Springer Spektrum, 2010
ISBN 10 : 3642059392 ISBN 13 : 9783642059391
Neuf Taschenbuch
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

Taschenbuch. Etat : Neu. Software Engineering 1 | Abstraction and Modelling | Dines Bjørner | Taschenbuch | xl | Englisch | 2010 | Springer Spektrum | EAN 9783642059391 | 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 107005678

Contacter le vendeur

Acheter neuf

EUR 80,05
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dines Bjørner
Edité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642059392 ISBN 13 : 9783642059391
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

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

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 believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides. N° de réf. du vendeur 9783642059391

Contacter le vendeur

Acheter neuf

EUR 90,94
Expédition à EUR 65,62
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dines Bjørner
ISBN 10 : 3540211497 ISBN 13 : 9783540211495
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 avec équipements. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur H-071-159

Contacter le vendeur

Acheter D'occasion

EUR 93,16
Expédition à EUR 20,50
Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2010
ISBN 10 : 3642059392 ISBN 13 : 9783642059391
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

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

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

Contacter le vendeur

Acheter neuf

EUR 93,23
Expédition à EUR 3,37
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2010
ISBN 10 : 3642059392 ISBN 13 : 9783642059391
Neuf Couverture souple

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

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

Contacter le vendeur

Acheter neuf

EUR 94,61
Expédition à EUR 13,82
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2005
ISBN 10 : 3540211497 ISBN 13 : 9783540211495
Neuf Couverture rigide

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

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

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

Contacter le vendeur

Acheter neuf

EUR 102,24
Expédition à EUR 3,37
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2005
ISBN 10 : 3540211497 ISBN 13 : 9783540211495
Neuf 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

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

Contacter le vendeur

Acheter neuf

EUR 112,05
Expédition à EUR 13,82
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2005
ISBN 10 : 3540211497 ISBN 13 : 9783540211495
Neuf Couverture rigide

Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis

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

hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-3540211497

Contacter le vendeur

Acheter neuf

EUR 115,21
Expédition à EUR 5,88
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bjørner, Dines
Edité par Springer, 2005
ISBN 10 : 3540211497 ISBN 13 : 9783540211495
Neuf Couverture rigide

Vendeur : California Books, Miami, FL, Etats-Unis

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

Etat : New. N° de réf. du vendeur I-9783540211495

Contacter le vendeur

Acheter neuf

EUR 125,39
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Dines Bjørner
Edité par Springer Berlin Heidelberg, 2006
ISBN 10 : 3642059392 ISBN 13 : 9783642059391
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

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

Paperback. Etat : Brand New. 754 pages. 9.00x6.00x1.71 inches. In Stock. N° de réf. du vendeur x-3642059392

Contacter le vendeur

Acheter neuf

EUR 145,23
Expédition à EUR 17,30
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Afficher tous les résultats