Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Software Engineering and Formal Methods

Software Engineering and Formal Methods

9th International Conference

by Gilles Barthe, Alberto Pardo, Gerardo Schneider

Springer · 2011

₹5,652

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 2011, Software Engineering and Formal Methods: 9th International Conference by Gilles Barthe, Alberto Pardo & others is available as a new copy.

Its main subjects are Logic design, Computer networks, Software engineering and Computer science.

About the author: Gilles Barthe (born 1967).

Book details

ISBN-13
9783642246890
ISBN-10
3642246893
Authors
Gilles Barthe, Alberto Pardo, Gerardo Schneider
Publisher
Springer
Author dates
Gilles Barthe (born 1967)
Published
2011
Language
English
Condition
New
Subject
System design

More by Gilles Barthe and related titles

See all