Practical Formal Software Engineering

Bruce Mills

ISBN 10: 0521879035 / ISBN 13: 9780521879033

Verlag: Cambridge University Press CUP, 2009

Beschreibung

pp. xxxiii + 339.

Bestandsnummer des Verkäufers 26528949

Bibliografische Details

• Titel: Practical Formal Software Engineering
• Verlag: Cambridge University Press CUP
• Erscheinungsjahr: 2009
• Sprache: Englisch
• ISBN-10: 0521879035
• ISBN-13: 9780521879033
• Einband: Hardcover
• Zustand: New

Über diesen Titel

Inhaltsangabe

A practically-minded software engineering textbook aimed at final year undergraduate and graduate students.

Ü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).