Formal Methods for Real-time and Probabilistic Systems: 5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings (International Amast Workshop, Arts '99, Bamberg, Germany, May 26-28, 1999 - Proceedings) - Lecture Notes in - J P Katoen - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540660101 - 1999. gada 12. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

J P Katoen
Formal Methods for Real-time and Probabilistic Systems: 5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings (International Amast Workshop, Arts '99, Bamberg, Germany, May 26-28, 1999 - Proceedings) - Lecture Notes in

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 24. nov. - . gada 2. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem J P Katoen izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Selected papers and invited contributions from the 5th International AMAST Workshop on Formal Methods for Real Time and Probabilistic Systems. Topics covered include verification and model checking for probabilistic systems, semantics of probabilistic process calculi and stochastic process algebra.

362 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1999. gada 12. maijs
ISBN13 9783540660101
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 362
Izmēri 156 × 234 × 19 mm   ·   521 g
Valoda Vācu  
Redaktors Katoen, Jost-pieter

Vairāk no tā paša izdevēja

Skatīt visus J P Katoen