Skip to content

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International
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)


From the publisher

This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are applied to specification, modeling, analysis and verification of real-time and fault-tolerant systems.

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
Back to Top

More Copies for Sale

Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes  in Computer Science No....
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$27.10
NZ$16.09 shipping to USA

Show Details

Description:
New York: Springer-Verlag. New. 1991. First Edition. Softcover. 3540550925 . Still in publisher's shrinkwrap ; 620 pages .
Item Price
NZ$27.10
NZ$16.09 shipping to USA
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$45.53
NZ$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,...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$216.08
NZ$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
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium,...
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
Seller rating:
This seller has earned a 1 of 5 Stars rating from Biblio customers.
Item Price
NZ$350.66
NZ$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