Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Theory and Formal Methods of Computing
Jazyk
Angličtina
Angličtina
Kniha
Pevná
The focus of this workshop was the development of mathematically-based techniques of formal specific...
Celý popis
Libristo kód: 05121460
?
478 b
478 b
4 776
Kč
včetně DPH
50 % šance
Prohledáme celý svět
Kdy knihu dostanu?
30 dní na vrácení zboží
Mohlo by vás také zajímat
The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers here range from the purely theoretical to practical applications.
Informace o knize
Plný název
Theory and Formal Methods of Computing
Autor
Chris Hankin, I. Mackie, Rajagopal Nagarajan
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
1995
Počet stran
444
EAN
9781860940033
Libristo kód
05121460
Nakladatelství
Imperial College Press
Rozměry
230
Kategorie
