Verwandte Artikel zu Practical Formal Software Engineering Hardback: Wanting...

Practical Formal Software Engineering Hardback: Wanting the Software You Get - Hardcover

 
9780521879033: Practical Formal Software Engineering Hardback: Wanting the Software You Get
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 
A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Críticas:
'This book, including its exercises and projects, needs to be worked through. It brings formal methods down to earth, where they belong, but emphatically not in the 'For Dummies' sense. I highly recommend it.' George Hacken, Reviews.com

'This work is a fascinating course resource. Mills (software engineer, ABB, Australia) successfully manages to create an appealing and informative book while respecting the rigor and method required by formal software engineering. ... the true winner in this book is the writing style, which coupled with the organization of the content, creates a compelling learning experience that a competent instructor can use to build an engaging course.' Choice
Biografía del autor:
Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia. He has twenty years of experience in the industrial electronics and software fields and as a lecturer in his native country, Wales, and the Middle East. Dr Mills is the author of Theoretical Introduction to Programming.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagCambridge University Press
  • Erscheinungsdatum2009
  • ISBN 10 0521879035
  • ISBN 13 9780521879033
  • EinbandTapa dura
  • Auflage1
  • Anzahl der Seiten374
Gebraucht kaufen
Zustand: Sehr gut
Mehr zu diesem Angebot erfahren

Versand: EUR 4,09
Von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

9781108818643: Practical Formal Methods in Software Engineering: Wanting the Software You Get

Vorgestellte Ausgabe

ISBN 10:  ISBN 13:  9781108818643
Verlag: Cambridge University Press, 2019
Softcover

Beste Suchergebnisse beim ZVAB

Beispielbild für diese ISBN

Mills, Bruce
ISBN 10: 0521879035 ISBN 13: 9780521879033
Gebraucht Hardcover Anzahl: 2
Anbieter:
WorldofBooks
(Goring-By-Sea, WS, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Hardback. Zustand: Fine. Artikel-Nr. GOR013331387

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Gebraucht kaufen
EUR 6,00
Währung umrechnen

In den Warenkorb

Versand: EUR 4,09
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Mills, Bruce Ian
ISBN 10: 0521879035 ISBN 13: 9780521879033
Gebraucht Hardcover Erstausgabe Anzahl: 1
Anbieter:
Better World Books
(Mishawaka, IN, USA)
Bewertung

Buchbeschreibung Zustand: Very Good. 1st Edition. Used book that is in excellent condition. May show signs of wear or have minor defects. Artikel-Nr. 17983924-6

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Gebraucht kaufen
EUR 4,77
Währung umrechnen

In den Warenkorb

Versand: EUR 8,80
Von USA nach Deutschland
Versandziele, Kosten & Dauer