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.
EUR 6,54 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoEUR 8,92 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoLibrería: Bestsellersuk, Hereford, Reino Unido
Hardcover. Condición: Good. warped, bumps and scratches to cover, tanning to edges of pages 2024 No.1 BESTSELLERS - great prices, friendly customer service â" all orders are dispatched next working day. Nº de ref. del artículo: mon0000912737
Cantidad disponible: 1 disponibles
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: 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: AMM Books, Gillingham, KENT, Reino Unido
Hardcover. Condición: New. In stock ready to dispatch from the UK. Nº de ref. del artículo: mon0000218773
Cantidad disponible: 5 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: 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: ABNR-94457
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: ABNR-98822
Cantidad disponible: 1 disponibles
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America
Condición: Very Good. Nº de ref. del artículo: 121012
Cantidad disponible: 2 disponibles
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FM-9780521899116
Cantidad disponible: 8 disponibles
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FM-9780521899116
Cantidad disponible: 8 disponibles