Skip to content

Automatic Verification Methods for Finite State Systems: International Workshop,
Stock Photo: Cover May Be Different

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings Paperback - 1990 - 1990th Edition

by Joseph Sifakis (Editor)


First line

The theory of process calculi as started with CCS [Mil 80] resulted in a number of verification tools designs, mostly in the case of terms with finitary representation (finite automata) [CPS 89,BoC 88,GLZ 89].

Details

  • Title Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
  • Author Joseph Sifakis (Editor)
  • Binding Paperback
  • Edition number 1990th
  • Edition 1990
  • Pages 384
  • Volumes 1
  • Language ENG
  • Publisher Springer, Berlin
  • Date 1990-01-10
  • ISBN 9783540521488 / 3540521488
  • Weight 1.23 lbs (0.56 kg)
  • Dimensions 9.21 x 6.14 x 0.82 in (23.39 x 15.60 x 2.08 cm)
  • Dewey Decimal Code 004.6
Back to Top

More Copies for Sale

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble,...
Stock Photo: Cover May Be Different

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France, June 12-14, 1989 Proceedings (Lecture Notes in Computer Science 407)

by Sifakis, J. (ed.)

  • Used
  • Very Good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540521488 / 3540521488
Quantity Available
1
Seller
Didcot, Oxfordshire, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$8.68
$12.28 shipping to USA

Show Details

Description:
Berlin: Springer-Verlag, 1990. Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library.
Item Price
$8.68
$12.28 shipping to USA
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble,...

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)

by Sifakis, Joseph

  • Used
  • Good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540521488 / 3540521488
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$11.21
$5.99 shipping to USA

Show Details

Description:
Springer, 1990-02-14. Paperback. Good. Ex-Library paperback with the usual markings, attachments, and library wear. Text block clean and unmarked. Tight binding.
Item Price
$11.21
$5.99 shipping to USA
Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble,...

Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

by Joseph Sifakis

  • New
Condition
New
ISBN 10 / ISBN 13
9783540521488 / 3540521488
Quantity Available
541
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$63.30
$10.33 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings.
Item Price
$63.30
$10.33 shipping to USA
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble,...
Stock Photo: Cover May Be Different

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

by Joseph Sifakis

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540521488 / 3540521488
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$77.43
$12.86 shipping to USA

Show Details

Description:
Paperback / softback. New. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems.
Item Price
$77.43
$12.86 shipping to USA