phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Tools and Algorithms for the Construction and Analysis of Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Tools and Algorithms for the Construction and Analysis of Systems Ed Brinksma
Libristo kód: 05274687
Nakladatelství Springer, Berlin, listopadu 1996
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algo... Celý popis
? points 147 b
1 472 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-14 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Gefühlte Zeit Marc Wittmann / Brožovaná
common.buy 301 Kč
Hotcourses London's Essential Course Guide Sep/Oct 09 / Brožovaná
common.buy 40 Kč
Zweistimmige Inventionen BWV 772-786, Klavier Johann Sebastian Bach / Brožovaná
common.buy 396 Kč
Erich Heintel: Gesammelte Abhandlungen / Band 3: Zur Theologie und Religionsphilosophie I Erich Heintel / Pevná
common.buy 1 721 Kč
Robert Burns Gerard Carruthers / Brožovaná
common.buy 997 Kč
Other People's Business The Romantic Career of the Practical Miss Dale Harriet L. Smith / Brožovaná
common.buy 873 Kč
Der Verlorene Sohn Im Drama Des XVI. Jahrhunderts Spengler Franz / Brožovaná
common.buy 261 Kč
Into The Nano Era Howard Huff / Brožovaná
common.buy 5 762 Kč
Experimental Studies on Guinea Pig's Eczema Nicole Hunziker / Brožovaná
common.buy 1 472 Kč

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

Informace o knize

Plný název Tools and Algorithms for the Construction and Analysis of Systems
Autor Ed Brinksma
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1997
Počet stran 437
EAN 9783540627906
ISBN 3540627901
Libristo kód 05274687
Nakladatelství Springer, Berlin
Váha 580
Rozměry 156 x 234 x 23

Kategorie

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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é
Zapomenuté heslo

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

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

Vytvořit Libristo účet