Software Engineering 1: Abstraction and Modelling - Couverture souple

Bj�rner, Dines

9783642059391: Software Engineering 1: Abstraction and Modelling

Couverture souple

ISBN 10 : 3642059392 ISBN 13 : 9783642059391

Editeur : Springer, 2010

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

11 Neuf

De EUR 77,17

This well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented specification principles and techniques. In addition, the reader will learn the essentials of functional, imperative, and parallel specification programming.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteurSpringer
Date d'�dition2010
ISBN 10 3642059392
ISBN 13 9783642059391
ReliureBroch�
Langueanglais
Nombre de pages756
Coordonn�es du fabricantnon disponible

Acheter neuf

Afficher cet article

EUR 77,17

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

9783540211495: Software Engineering 1: Abstraction And Modelling

Edition pr�sent�e

ISBN 10 : 3540211497 ISBN 13 : 9783540211495
Editeur : Springer-Verlag Berlin and Heide..., 2005
Couverture rigide

(Couverture rigide)

R�sultats de recherche pour Software Engineering 1: Abstraction and Modelling

Image fournie par le vendeur

Software Engineering 1

Dines Bj�rner

Edit� par Springer Berlin Heidelberg, 2010

ISBN 10 : 3642059392 ISBN 13 : 9783642059391

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 77,17

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 1 : Abstraction and Modelling

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

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

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 1

Dines Bj�rner

Edit� par Springer Berlin Heidelberg Feb 2010, 2010

ISBN 10 : 3642059392 ISBN 13 : 9783642059391

Neuf Taschenbuch

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, 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 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. 756 pp. Englisch. N� de r�f. du vendeur 9783642059391

Contacter le vendeur

Acheter neuf

EUR 90,94

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering 1 : Abstraction and Modelling

Bjrner, Dines

Edit� par Springer 2010-02, 2010

ISBN 10 : 3642059392 ISBN 13 : 9783642059391

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783642059391

Contacter le vendeur

Acheter neuf

EUR 92,54

Autre devise

Frais de port : EUR 11,13

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

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

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

Contacter le vendeur

Acheter neuf

EUR 99,05

Autre devise

Frais de port : EUR 4,68

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Software Engineering 1

Dines Bj�rner

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

ISBN 10 : 3642059392 ISBN 13 : 9783642059391

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 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 756 pp. Englisch. N� de r�f. du vendeur 9783642059391

Contacter le vendeur