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.
![Automatic Verification Methods for Finite State Systems: International Workshop,](https://d3525k1ryd2155.cloudfront.net/f/488/521/9783540521488.IN.0.m.jpg)
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
More Copies for Sale
![Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble,...](https://d3525k1ryd2155.cloudfront.net/f/488/521/9783540521488.IN.0.m.jpg)
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
- Item Price
-
$8.68$12.28 shipping to USA
Show Details
Item Price
$8.68
$12.28
shipping to USA
![Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble,...](https://d3525k1ryd2155.cloudfront.net/h/139/819/1299819139.0.m.jpg)
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
- 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,...](https://d3525k1ryd2155.cloudfront.net/h/169/966/1588966169.0.m.jpg)
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
- 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,...](https://d3525k1ryd2155.cloudfront.net/f/488/521/9783540521488.IN.0.m.jpg)
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
- 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