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

Bj�rner, Dines

ISBN 10: 3642059392 ISBN 13: 9783642059391

Verlag: Springer, 2010

Neu Softcover

Verk�ufer Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 25. M�rz 2015

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

In. Bestandsnummer des Verk�ufers ria9783642059391_new

Diesen Artikel melden

Inhaltsangabe:

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Software Engineering 1: Abstraction and ...
Verlag: Springer
Erscheinungsdatum: 2010
Einband: Softcover
Zustand: New

Beste Suchergebnisse bei AbeBooks

Foto des Verk�ufers

Software Engineering 1

Dines Bj�rner

Verlag: Springer Berlin Heidelberg, 2010

ISBN 10: 3642059392 ISBN 13: 9783642059391

Neu Softcover

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 4 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers 5045067

Verk�ufer kontaktieren

Neu kaufen

EUR 77,17

EUR 48,99 shipping
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Weitere Bilder

Software Engineering 1 | Abstraction and Modelling

Dines Bj�rner

Verlag: Springer Spektrum, 2010

ISBN 10: 3642059392 ISBN 13: 9783642059391

Neu Taschenbuch

Anbieter: preigu, Osnabr�ck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Neu kaufen

EUR 80,15

EUR 70,00 shipping
Versand von Deutschland nach USA

Anzahl: 5 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering 1

Dines Bj�rner

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2010, 2010

ISBN 10: 3642059392 ISBN 13: 9783642059391

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Bestandsnummer des Verk�ufers 9783642059391

Verk�ufer kontaktieren

Neu kaufen

EUR 90,94

EUR 60,00 shipping
Versand von Deutschland nach USA

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering 1 : Abstraction and Modelling

Dines Bj�rner

Verlag: Springer Berlin Heidelberg, 2010

ISBN 10: 3642059392 ISBN 13: 9783642059391

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Bestandsnummer des Verk�ufers 9783642059391

Verk�ufer kontaktieren

Neu kaufen

EUR 90,94

EUR 65,62 shipping
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Software Engineering 1

Dines Bj�rner

Verlag: Springer Berlin Heidelberg Feb 2010, 2010

ISBN 10: 3642059392 ISBN 13: 9783642059391

Neu Taschenbuch

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: 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. Bestandsnummer des Verk�ufers 9783642059391

Verk�ufer kontaktieren