Springer
Formal Methods: State Of The Art And New Directions
Formal Methods: State Of The Art And New Directions
ISBN-13: 9781447157458
Precio habitual
$131.52
Precio habitual
Precio de oferta
$131.52
Precio unitario
/
por
Los gastos de envío se calculan en la pantalla de pago.
No se pudo cargar la disponibilidad de retiro
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.
- • Author: Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
- • Publisher: Springer
- • Publication Date: Oct 20, 2014
- • Number of Pages: 298 pages
- • Language: English
- • Binding: Paperback
- • ISBN-10: 1447157451
- • ISBN-13: 9781447157458
Share
