Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Balík do ruky 74 Balíkovna 49 GLS 54 Zásilkovna 44 Kurýr GLS 74 PPL 99

Logical Derivation of Computer Programs

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Logical Derivation of Computer Programs Thomas G. Windeknecht
Libristo kód: 05016846
Nakladatelství Intellect Books, května 1999
This text presents a language-based logic for procedures to derive computer programs from formal spe... Celý popis
? points 102 b Připravujeme Připravujeme
1 019 včetně DPH
Očekávaný dotisk Termín neznámý Termín neznámý

30 dní na vrácení zboží


Mohlo by vás také zajímat


This text presents a language-based logic for procedures to derive computer programs from formal specifications. This formal approach is based upon design philosophy, and has been class-tested by the author throughout its development. The book also features examples, and solved exercises.

Informace o knize

Plný název Logical Derivation of Computer Programs
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1999
Počet stran 200
EAN 9781871516982
ISBN 1871516986
Libristo kód 05016846
Nakladatelství Intellect Books
Váha 500
Rozměry 159 x 234 x 18
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet