Description:
New York: Springer-Verlag. New. 1991. First Edition. Softcover. 3540550925 . Still in publisher's shrinkwrap ; 620 pages .
Stock Photo: Cover May Be Different
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings Paperback - 1991 - 1991st Edition
by Jan Vytopil (Editor)
First line
Real-time systems are reactive systems [HP85, Pnu86] which must satisfy timing properties.
Details
- Title Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
- Author Jan Vytopil (Editor)
- Binding Paperback
- Edition number 1991st
- Edition 1991
- Pages 628
- Volumes 1
- Language ENG
- Publisher Springer, New York
- Date 1991-12-11
- Illustrated Yes
- ISBN 9783540550921 / 3540550925
- Weight 1.95 lbs (0.88 kg)
- Dimensions 9.21 x 6.14 x 1.29 in (23.39 x 15.60 x 3.28 cm)
- Library of Congress Catalog Number 91043620
- Dewey Decimal Code 004.33
More Copies for Sale
Stock Photo: Cover May Be Different
Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571
by Vytopil, J. (ed.)
- New
- Paperback
- first
- Condition
- New
- Edition
- First Edition
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540550921 / 3540550925
- Quantity Available
- 1
- Seller
-
Amherst, Nova Scotia, Canada
- Item Price
-
NZ$27.10NZ$16.09 shipping to USA
Show Details
Item Price
NZ$27.10
NZ$16.09
shipping to USA
Stock Photo: Cover May Be Different
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science)
by Vytopil, Jan [Editor]
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540550921 / 3540550925
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
NZ$45.53NZ$10.15 shipping to USA
Show Details
Description:
Springer, 1991-12-11. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Item Price
NZ$45.53
NZ$10.15
shipping to USA
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
by Jan Vytopil
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540550921 / 3540550925
- Quantity Available
- 928
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
NZ$216.08NZ$16.97 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings.
Item Price
NZ$216.08
NZ$16.97
shipping to USA
Stock Photo: Cover May Be Different
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 571)
by Vytopil, Jan [Editor]
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540550921 / 3540550925
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
NZ$350.66NZ$25.41 shipping to USA
Show Details
Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
NZ$350.66
NZ$25.41
shipping to USA