Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Applied Formal Methods - Fm-Trends 98

Applied Formal Methods - Fm-Trends 98

International Workshop on Current Trends in Applied Formal Methods

by Dieter Hutter, Werner Stephan, Paolo Traverso

Springer · 1999 · Paperback

₹5,571

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 1999, Applied Formal Methods - Fm-Trends 98: International Workshop on Current Trends in Applied Formal Methods by Dieter Hutter, Werner Stephan & others runs to 377 pages in paperback.

Its main subjects are Formal methods (Computer science), Congresses, High level programming languages and Software engineering.

About the author: Gerhard Goos (1937–2020).

Book details

ISBN-13
9783540664628
ISBN-10
3540664629
Authors
Dieter Hutter, Werner Stephan, Paolo Traverso
Publisher
Springer
Author dates
Gerhard Goos (1937–2020)
Published
1999
Edition
1 edition
Binding
Paperback
Pages
377
Language
English
Condition
New
Subject
Computer Books: Languages

More by Dieter Hutter and related titles

See all