Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Lecture Notes in Computer Science - R J Boulton - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540425250 - 2001. gada 22. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

R J Boulton
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Lecture Notes in Computer Science 2001 edition

Cena
€ 53,99

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

Paredzamā piegāde . gada 4. - 12. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem R J Boulton 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 volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3-6 September 2001 in Edinburgh, Scotland. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001).

402 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2001. gada 22. augusts
ISBN13 9783540425250
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 402
Izmēri 155 × 233 × 21 mm   ·   948 g
Valoda Vācu  
Redaktors Boulton, Richard J.
Redaktors Jackson, Paul B.

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

Skatīt visus R J Boulton