Inhaltsangabe
A practically-minded software engineering textbook aimed at final year undergraduate and graduate students.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia, Perth. 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 (2010).
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Practical Formal Methods in Software Engineering: Wanting...
Beispielbild für diese ISBN
Practical Formal Methods in Software Engineering
Verlag:
Cambridge University Press, 2019
ISBN 10: 1108818641
ISBN 13: 9781108818643
Gebraucht
paperback
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good. Artikel-Nr. mon0003744150
Gebraucht kaufen
EUR 30,93
EUR 4,20 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Practical Formal Software Engineering: Wanting the Software You Get
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 376 pages. 9.84x7.48x0.83 inches. In Stock. Artikel-Nr. xr1108818641
Neu kaufen
EUR 87,46
EUR 14,33 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Practical Formal Software Engineering: Wanting the Software You Get
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 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. Artikel-Nr. 595342109
Neu kaufen
EUR 65,65
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Practical Formal Software Engineering : Wanting the Software You Get
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 376 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 35988479/2
Gebraucht kaufen
EUR 24,80
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Practical Formal Methods in Software Engineering
Verlag:
Cambridge University Press Dez 2019, 2019
ISBN 10: 1108818641
ISBN 13: 9781108818643
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science. Artikel-Nr. 9781108818643
Neu kaufen
EUR 88,04
EUR 63,17 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar