An introduction to software modelling using VDM (Vienna Development Method) that combines training in the formalism with industry-strength tool support and examples derived from commercial applications. This updated second edition includes advanced online tool support for formal modelling, online teaching support material, and up-to-date reports on real commercial applications.
"Sinopsis" puede pertenecer a otra edición de este libro.
"This is an excellent first course in modeling, and is so well organized that even individual study is practical. The book was enjoyable to read, and well written. Points of complexity were explained well, and the wealth of examples provides a roadmap to understanding for both the student and practitioner."
John Fitzgerald is a Reader in Computing Science at the University of Newcastle upon Tyne.
Peter Gorm Larsen is a Professor of Computer Technology and Embedded Systems at the Engineering College of Aarhus (IHA), Denmark. He also works as an independent consultant.
"Sobre este título" puede pertenecer a otra edición de este libro.
Gastos de envío:
EUR 5,71
De Reino Unido a Estados Unidos de America
Gastos de envío:
GRATIS
A Estados Unidos de America
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Hardback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. del artículo: GOR007264372
Cantidad disponible: 2 disponibles
Librería: Powell's Bookstores Chicago, ABAA, Chicago, IL, Estados Unidos de America
Condición: Used - Very Good. 2009. 2nd Edition. Hardcover. Very Good. Nº de ref. del artículo: DD0042075
Cantidad disponible: 1 disponibles
Librería: AMM Books, Gillingham, KENT, Reino Unido
Hardcover. Condición: Very Good. Unread. In stock ready to dispatch from the UK. Nº de ref. del artículo: mon0000218772
Cantidad disponible: 18 disponibles
Librería: Bestsellersuk, Hereford, Reino Unido
Hardcover. Condición: Good. Bumped and scratched cover. Book is warped. No.1 BESTSELLERS - great prices, friendly customer service â" all orders are dispatched next working day. Nº de ref. del artículo: mon0000698402
Cantidad disponible: 1 disponibles
Librería: Tall Stories BA, Stoneyford, Irlanda
Hardcover. Condición: Very Good. Second. as new unused. Nº de ref. del artículo: 71611
Cantidad disponible: 1 disponibles
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Condición: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.41. Nº de ref. del artículo: 0521899117-2-3
Cantidad disponible: 1 disponibles
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Condición: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 1.41. Nº de ref. del artículo: 353-0521899117-lkn
Cantidad disponible: 1 disponibles
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Condición: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. 1.41. Nº de ref. del artículo: 0521899117-2-4
Cantidad disponible: 1 disponibles
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABTR-233359
Cantidad disponible: 2 disponibles
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Condición: Brand New. New. US edition. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-108565
Cantidad disponible: 1 disponibles