An edition of FM'99 - Formal Methods (1999)

FM'99 - Formal Methods

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science)

1 edition
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by MARC Bot
September 28, 2018 | History
An edition of FM'99 - Formal Methods (1999)

FM'99 - Formal Methods

World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science)

1 edition
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
1875

Buy this book

Book Details


First Sentence

"The use of formal specifications is now widely accepted in software development."

The Physical Object

Format
Paperback
Number of pages
1875
Dimensions
9.2 x 6.1 x 1.4 inches
Weight
2.6 pounds

ID Numbers

Open Library
OL9715893M
ISBN 10
3540665889
ISBN 13
9783540665885
Library Thing
3021623
Goodreads
3951126

Source records

Internet Archive item record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
September 28, 2018 Edited by MARC Bot correction
July 30, 2014 Edited by ImportBot import new book
April 6, 2014 Edited by ImportBot Added IA ID.
August 12, 2010 Edited by IdentifierBot added LibraryThing ID
April 30, 2008 Created by an anonymous user Imported from amazon.com record