phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 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 Tiziana Margaria
Libristo kód: 05274560
Nakladatelství Springer, Berlin, listopadu 1995
This book presents the refereed proceedings of the Second International Workshop on Tools and Algori... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

L'Uniformes des Sapeurs-Pompiers Frederic Coune / Brožovaná
common.buy 1 289 Kč
Coming Islamic Invasion of Israel Mark Hitchcock / Brožovaná
common.buy 314 Kč
Pixars komplette Kurzfilm Collection, 1 DVD, 1 DVD-Video Animatio N / DVD
common.buy 270 Kč
Troubled Peace Chae-Jin Lee / Brožovaná
common.buy 1 058 Kč
Am Strand Ian McEwan / Brožovaná
common.buy 319 Kč
Mobile TV: Customizing Content and Experience Aaron Marcus / Pevná
common.buy 3 313 Kč
Thin Film Ferroelectric Materials and Devices, 1 R. Ramesh / Brožovaná
common.buy 5 094 Kč
Le Statut de Tanger D'Apres La Convention Du 18 Decembre 1923 Edgard Rouard De Card / Brožovaná
common.buy 559 Kč
Miss Carter's War HANCOCK SHEILA / Brožovaná
common.buy 403 Kč
Systems of Family Therapy Dinkmeyer / Pevná
common.buy 5 172 Kč
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy José Mira / Brožovaná
common.buy 1 681 Kč
Information Retrieval and Mining in Distributed Environments Alessandro Soro / Pevná
common.buy 5 094 Kč
Landlord at Lion's Head - Volume 1 William Dean Howells / Brožovaná
common.buy 673 Kč
Urban Life of the Song Dynasty Zhao Shiyu / Pevná
common.buy 3 146 Kč
Manual of Kidney Transplant Medical Care Arthur J. Matas / Kroužková
common.buy 970 Kč
There is no rose / Noty
common.buy 116 Kč

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

Informace o knize

Plný název Tools and Algorithms for the Construction and Analysis of Systems
Autor Tiziana Margaria, Bernhard Steffen
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1996
Počet stran 443
EAN 9783540610427
ISBN 3540610421
Libristo kód 05274560
Nakladatelství Springer, Berlin
Váha 606
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
Výpočetní a informační technologie > Operační systémy
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