Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop -  - Grāmatas - Imperial College Press - 9781860940316 - 1996. gada 1. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Cena
€ 145,99

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

Paredzamā piegāde . gada 2. - 16. okt.
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science, including formal specification, theorem proving, and operational and denotational semantics.


340 pages

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1996. gada 1. novembris
ISBN13 9781860940316
Izdevēji Imperial College Press
Lapas 330
Izmēri 150 × 220 × 20 mm   ·   784 g
Redaktors Edalat, Abbas (Imperial College, Uk)
Redaktors Jourdan, S (Imperial College, Uk)
Redaktors Mccusker, G (Imperial College, Uk)

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