Formal Techniques in Real-Time Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 September 20-22, 2000 Proceedings (Lecture Notes in Computer Science)
5 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 |
---|---|---|---|---|
Schnitt | € 56,29 | € 38,53 | € 40,21 | € 47,30 |
Nachfrage |
1
Formal Techniques in Real-Time and Fault-Tolerant Systems
DE PB NW
ISBN: 9783540410553 bzw. 3540410554, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such as hybrid systems, have been g- minated at these meetings and cross-links explored with related subjects such as scheduling theory. There has certainly been progress during these 12 years, but it is sobering to see how far and how fast practice has moved ahead in the same time, and how much more work remains to be done before the design of a mission-critical system can be based entirely on sound engineering principles underpinned by solid scienti c theory. The Sixth School and Symposium were organized by the Tata Research - velopment and Design Centre in Pune, India. The lectures at the School were given by Ian Hayes (U. of Queensland), Paritosh Pandya (Tata Institute of F- damental Research), Willem-Paul de Roever (Christian Albrechts U. ) and Joseph Sifakis (VERIMAG). There were three invited lectures at the Symposium, by Werner Damm (U. of Oldenburg), Nicholas Halbwachs (VERIMAG) and Yoram Moses (Technion). A sizable number of submissions were received for the Symposium from a- hors representing 16 di erent countries.x, 314 S. X, 314 p. 235 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such as hybrid systems, have been g- minated at these meetings and cross-links explored with related subjects such as scheduling theory. There has certainly been progress during these 12 years, but it is sobering to see how far and how fast practice has moved ahead in the same time, and how much more work remains to be done before the design of a mission-critical system can be based entirely on sound engineering principles underpinned by solid scienti c theory. The Sixth School and Symposium were organized by the Tata Research - velopment and Design Centre in Pune, India. The lectures at the School were given by Ian Hayes (U. of Queensland), Paritosh Pandya (Tata Institute of F- damental Research), Willem-Paul de Roever (Christian Albrechts U. ) and Joseph Sifakis (VERIMAG). There were three invited lectures at the Symposium, by Werner Damm (U. of Oldenburg), Nicholas Halbwachs (VERIMAG) and Yoram Moses (Technion). A sizable number of submissions were received for the Symposium from a- hors representing 16 di erent countries.x, 314 S. X, 314 p. 235 mmVersandfertig in 3-5 Tagen, Softcover.
2
Formal Techniques in Real-Time and Fault-Tolerant Systems (2000)
DE PB NW RP
ISBN: 9783540410553 bzw. 3540410554, in Deutsch, Springer Sep 2000, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
DE
ISBN: 9783540410553 bzw. 3540410554, in Deutsch, Springer, Berlin/Heidelberg, Deutschland.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Bookshub [56517106], Karol Bagh, KB, India.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Bookshub [56517106], Karol Bagh, KB, India.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS (2010)
DE NW
ISBN: 9783540410553 bzw. 3540410554, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, EBOOKSTORE2010 [55268631], New Delhi, ND, India.
New. US edition. Customer Satisfaction guaranteed!!
Von Händler/Antiquariat, EBOOKSTORE2010 [55268631], New Delhi, ND, India.
New. US edition. Customer Satisfaction guaranteed!!
Lade…