Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Methods in Programming and Their Applications

Formal Methods in Programming and Their Applications

International Conference

by Dines Bjørner, Manfred Broy, Igor V. Pottosin

Springer · 1993 · Paperback

₹5,598

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 in Programming and Their Applications: International Conference by Dines Bjørner, Manfred Broy & others is a 433-page paperback edition published by Springer in 1993. The book is part of the Lecture notes in computer science series.

Topics covered include Formal methods (Computer science), Computer programming, Mathematical Logic and Formal Languages and Software engineering.

About the author: D. Bjørner (born 1937). About the author: M. Broy (born 1949).

Book details

ISBN-13
9783540573166
ISBN-10
354057316X
Authors
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Publisher
Springer
Author dates
D. Bjørner (born 1937); M. Broy (born 1949)
Published
1993
Series
Lecture notes in computer science
Binding
Paperback
Pages
433
Language
English
Condition
New
Subject
Logic design

More by Dines Bjørner and related titles

See all