Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science - Teodor Rus - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540675303 - 2000. gada 3. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science

Cena
€ 103,49

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

Paredzamā piegāde . gada 14. - 22. okt.
Saņemiet paziņojumus par jauniem Teodor Rus izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines and much more.


545 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2000. gada 3. maijs
ISBN13 9783540675303
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 545
Izmēri 155 × 233 × 29 mm   ·   1,29 kg
Valoda Vācu  
Redaktors Rus, Teodor

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