Articles liés à Practical Formal Software Engineering: Wanting the...
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Practical Formal Software Engineering A practically-minded software engineering textbook aimed at final year undergraduate and graduate students.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur :
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.
Revue de presse :
'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
'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
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCambridge University Press
- Date d'édition2009
- ISBN 10 0521879035
- ISBN 13 9780521879033
- ReliureRelié
- Numéro d'édition1
- Nombre de pages374
Acheter neuf
En savoir plus sur cette édition
EUR 24,01
Frais de port :
EUR 3,73
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Practical Formal Software Engineering: Wanting the Software You Get
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : New. HARDCOVER, BRAND NEW, Perfect Shape, Small Publishers Remainder Mark on Edge,Fast Shipping With Online Tracking, International Orders shipped Global Priority Air Mail, All orders handled with care and shipped promptly in secure packaging, we ship Mon-Sat and send shipment confirmation emails. Our customer service is friendly, we answer emails fast, accept returns and work hard to deliver 100% Customer Satisfaction!. N° de réf. du vendeur 9029163
Acheter neuf
EUR 24,01
Autre devise
Image d'archives
Practical Formal Software Engineering
Edité par
Cambridge University Press CUP
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. xxxiii + 339. N° de réf. du vendeur 26528949
Acheter neuf
EUR 36,91
Autre devise
Image d'archives
Practical Formal Software Engineering
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. xxxiii + 339 Illus. N° de réf. du vendeur 8367594
Acheter neuf
EUR 36,72
Autre devise
Image d'archives
Practical Formal Software Engineering: Wanting the Software You Get
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT23-88607
Acheter neuf
EUR 49,82
Autre devise
Image d'archives
Practical Formal Software Engineering: Wanting The Software You Get
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT23-365804
Acheter neuf
EUR 51,69
Autre devise
Image d'archives
Practical Formal Software Engineering: Wanting The Software You Get
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. N° de réf. du vendeur ABTR-291814
Acheter neuf
EUR 59,18
Autre devise
Image d'archives
Practical Formal Software Engineering: Wanting The Software You Get
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. N° de réf. du vendeur ABRR-291814
Acheter neuf
EUR 61,22
Autre devise
Image d'archives
PRACTICAL FORMAL SOFTWARE ENGINEERING: WANTING THE SOFTWARE YOU GET
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 3
Vendeur :
Evaluation vendeur
Description du livre Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT23-234066
Acheter neuf
EUR 76,87
Autre devise
Image d'archives
PRACTICAL FORMAL SOFTWARE ENGINEERING: WANTING THE SOFTWARE YOU GET
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. N° de réf. du vendeur ABTR-254356
Acheter neuf
EUR 76,87
Autre devise
Image d'archives
PRACTICAL FORMAL SOFTWARE ENGINEERING: WANTING THE SOFTWARE YOU GET
Edité par
Cambridge University Press
(2009)
ISBN 10 : 0521879035
ISBN 13 : 9780521879033
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. N° de réf. du vendeur ABRR-254356
Acheter neuf
EUR 79,53
Autre devise