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

Software Engineering and Formal Methods

10th International Conference

by George Eleftherakis, Mike Hinchey, Mike Holcombe

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2012

₹4,263

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-Verlag Berlin and Heidelberg GmbH & Co. K in 2012, Software Engineering and Formal Methods: 10th International Conference by George Eleftherakis, Mike Hinchey & others runs to 384 pages.

Its main subjects are Mathematical Logic and Formal Languages, Software engineering, Computer networks and Logic design.

Book details

ISBN-13
9783642338250
ISBN-10
3642338259
Authors
George Eleftherakis, Mike Hinchey, Mike Holcombe
Published
2012
Edition
2012 ed.
Pages
384
Language
English
Condition
New
See all