Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

15th International Workshop

by Stefan Kowalewski, Marco Roveri

Springer · 2010

₹5,508

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Published by Springer in 2010, Formal Methods for Industrial Critical Systems: 15th International Workshop by Stefan Kowalewski & Marco Roveri runs to 230 pages. It belongs to the LNCS sublibrary: SL 2-programming and software engineering series.

Its main subjects are Software engineering, Formale Methode, Model Checking and Computer programs. Places discussed include Antwerpen <2010>.

Book details

ISBN-13
9783642158971
ISBN-10
3642158978
Authors
Stefan Kowalewski, Marco Roveri
Publisher
Springer
Published
2010
Series
LNCS sublibrary: SL 2-programming and software engineering
Pages
230
Language
English
Condition
New

More in Computer programs

See all