Artículos relacionados a Practical Formal Software Engineering Hardback: Wanting...
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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:
'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
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación2009
- ISBN 10 0521879035
- ISBN 13 9780521879033
- EncuadernaciónTapa dura
- Número de edición1
- Número de páginas374
Comprar nuevo
Ver este artículo
EUR 24,01
Gastos de envío:
EUR 3,73
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Practical Formal Software Engineering: Wanting the Software You Get
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: 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 ref. del artículo: 9029163
Comprar nuevo
EUR 24,01
Convertir moneda
Imagen de archivo
Practical Formal Software Engineering
Publicado por
Cambridge University Press CUP
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. xxxiii + 339. Nº de ref. del artículo: 26528949
Comprar nuevo
EUR 36,91
Convertir moneda
Imagen de archivo
Practical Formal Software Engineering
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. xxxiii + 339 Illus. Nº de ref. del artículo: 8367594
Comprar nuevo
EUR 36,72
Convertir moneda
Gastos de envío:
EUR 7,59
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Practical Formal Software Engineering: Wanting the Software You Get
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT23-88607
Comprar nuevo
EUR 49,82
Convertir moneda
Imagen de archivo
Practical Formal Software Engineering: Wanting The Software You Get
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT23-365804
Comprar nuevo
EUR 51,69
Convertir moneda
Imagen de archivo
Practical Formal Software Engineering: Wanting The Software You Get
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: 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 ref. del artículo: ABTR-291814
Comprar nuevo
EUR 59,18
Convertir moneda
Imagen de archivo
Practical Formal Software Engineering: Wanting The Software You Get
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: 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 ref. del artículo: ABRR-291814
Comprar nuevo
EUR 61,22
Convertir moneda
Imagen de archivo
PRACTICAL FORMAL SOFTWARE ENGINEERING: WANTING THE SOFTWARE YOU GET
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 3
Librería:
Valoración
Descripción Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT23-234066
Comprar nuevo
EUR 76,87
Convertir moneda
Imagen de archivo
PRACTICAL FORMAL SOFTWARE ENGINEERING: WANTING THE SOFTWARE YOU GET
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: 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 ref. del artículo: ABTR-254356
Comprar nuevo
EUR 76,87
Convertir moneda
Imagen de archivo
PRACTICAL FORMAL SOFTWARE ENGINEERING: WANTING THE SOFTWARE YOU GET
Publicado por
Cambridge University Press
(2009)
ISBN 10: 0521879035
ISBN 13: 9780521879033
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: 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 ref. del artículo: ABRR-254356
Comprar nuevo
EUR 79,53
Convertir moneda