Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings - Lecture Notes in Computer Science - Behnam Banieqbal - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540518037 - 1989. gada 11. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings - Lecture Notes in Computer Science 1989 edition

Cena
€ 53,99

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

Paredzamā piegāde . gada 13. - 21. okt.
Saņemiet paziņojumus par jauniem Behnam Banieqbal izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

452 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1989. gada 11. oktobris
ISBN13 9783540518037
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 452
Izmēri 155 × 235 × 23 mm   ·   639 g
Valoda Vācu  
Redaktors Banieqbal, Behnam
Redaktors Barringer, Howard
Redaktors Pnueli, Amir

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