Skip to main content

CURRENTLY SOLD OUT

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings by Ernst-Rudiger Olderog, Werner Damm (Paperback, 2002)

About this product

About this product

Product Information

This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002. The 17 revised full papers presented together with 2 invited tutorials and 6 invited papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing, and UML models and model checking.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540441656
eBay Product ID (ePID)
95263933

Product Key Features

Author
Ernst-Rudiger Olderog, Werner Damm
Publication Name
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2002
Type
Textbook
Number of Pages
462 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
2469
Item Weight
1450g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Ernst-Rudiger Olderog, Werner Damm
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
Complete Illustrated Encyclopedia of Dinosaurs & Prehistoric Creatures by Dixon Dougal (Paperback, 2014)
5.0 out of 5 stars based on 6 product ratings
AU $41.62 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Ford Falcon EF EL / Fairlane NF NL 1994 - 1998 Workshop Manual
AU $49.00
Trending at AU $60.34
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $124.09
Michael Price Nick Vandome Windows 11 for Seniors in easy steps (Paperback)
AU $32.73
Trending at AU $36.66
BORN IN 1971?... 1951?BIRTHDAY...Australian Social History....Chrisi, Birthdays
AU $19.00
Trending at AU $22.16
It's Not You: How to Identify and Heal from NARCISSISTIC People by Ramani Durvas
AU $35.00
Trending at AU $37.63
Ethical Practice in Applied Psychology 1st Edition by Christopher Boyle (English
AU $69.19
Trending at AU $72.57

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like