CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings - Lecture Notes in Computer Science - J C M Baseten - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540664253 - 1999. gada 13. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

J C M Baseten
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings - Lecture Notes in Computer Science 1999 edition

Cena
€ 103,49

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

Paredzamā piegāde . gada 9. - 19. okt.
Saņemiet paziņojumus par jauniem J C M Baseten 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

This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement.

584 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1999. gada 13. augusts
ISBN13 9783540664253
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 584
Izmēri 155 × 235 × 30 mm   ·   820 g
Valoda Vācu  
Redaktors Baeten, Jos C.M.
Redaktors Mauw, Sjouke

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

Skatīt visus J C M Baseten