2000
Paperback (06 Sep 2000)
Save $7.08
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.
| ISBN: | 9783540410553 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 06 Sep 2000 |
| Edition: | 2000 |
| DEWEY: | 004.33 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 303 |
| Weight: | 456g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 17mm |
$0.21off
Compilers
Paperback
Published 02 Aug 2013
Save $0.21
$6.20off
Modern Compiler Implementation ...
Paperback
Published 07 Aug 2004
Save $6.20
$42.52off
Beginning HCL Programming
Paperback
Published 12 Apr 2021
Save $42.52
$1.02off
Matlab Graphical Programming
Paperback
Published 22 Dec 2014
Save $1.02
$18.84off
Compiler Design Using Java(R)
Paperback
Published 28 Oct 2024
Save $18.84
$18.84off
Compiler Design Using Kotlin(TM)
Paperback
Published 04 Nov 2024
Save $18.84
$35.78off
Rust Programming
Paperback
Published 05 Nov 2024
Save $35.78
$24.96off
API Design
Paperback
Published 28 Oct 2024
Save $24.96
$18.48off
Beginning R 4
Paperback
Published 18 Oct 2020
Save $18.48