Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Methods and Models for System Design

Formal Methods and Models for System Design

A System Level Perspective

by Rajesh Gupta, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla

Springer Verlag · 2011

₹12,319

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

Formal Methods and Models for System Design: A System Level Perspective is written by Rajesh Gupta, Paul Le Guernic & others. This edition from Springer Verlag (2011) has 384 pages.

The book deals with Systems engineering, Computer engineering, Computer-aided design and Software engineering.

Book details

ISBN-13
9781441954640
ISBN-10
1441954643
Authors
Rajesh Gupta, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla
Published
2011
Edition
Softcover Reprint of the Original 1st 2004 ed.
Pages
384
Language
English
Condition
New
See all