Anders P. Ravn | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS : 5TH INTERNATIONAL SYMPOSIUM, FTRTFT'98, LYNGBY, DENMARK, SEPTEMBER 1

Tekijä: Anders P. Ravn (ed.); Hans Rischel (ed.)
Kustantaja: Springer (1998)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

HYBRID SYSTEMS

Tekijä: Robert L. Grossman (ed.); Anil Nerode (ed.); Anders P. Ravn (ed.); Hans Rischel (ed.)
Kustantaja: Springer (1993)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS - 7TH INTERNATIONAL SYMPOSIUM, ATVA 2009, MACAO, CHINA, OCTOBER 14-16, 2009,

Tekijä: Zhiming Liu; Anders P. Ravn
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 1

Anders P. Ravn (ed.), Hans Rischel (ed.)

49,60 €

Springer
Sivumäärä: 347 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998
Julkaisuvuosi: 1998, 02.09.1998 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus