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

Model Checking Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Susanne Graf
Libristo kód: 01559203
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, března 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Celý popis
? points 154 b
1 542 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Výprodej
Bart Simpson Malý rošťák Matt Groening / Brožovaná
common.buy 28 Kč
Obituary Mario Martinez / Pevná
common.buy 702 Kč
From Divergent Power Series to Analytic Functions Werner Balser / Brožovaná
common.buy 861 Kč
Multicriteria Analysis for Land-Use Management E. Beinat / Pevná
common.buy 6 034 Kč
Dorset Terry Gough / Brožovaná
common.buy 465 Kč
Morality and Action Warren Quinn / Pevná
common.buy 3 192 Kč
Eurythmics / Brožovaná
common.buy 563 Kč
Columbo - Ein Hund fur alle "Felle" Barbara Schilling / Brožovaná
common.buy 249 Kč
Classic Operating Systems Per Brinch Hansen / Pevná
common.buy 3 039 Kč
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Pevná
common.buy 4 673 Kč
Frontiers in Algorithms D. T. Lee / Brožovaná
common.buy 1 566 Kč
Mathematical Modeling in Chemical Engineering Anders Rasmuson / Pevná
common.buy 2 000 Kč
Memoirs of the Courts and Cabinets of George the Third from the Original Family Documents, Volume 1 Richard Plantagenet Buckingham and Chandos / Brožovaná
common.buy 912 Kč
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Brožovaná
common.buy 491 Kč
Forced Saving Hazel BatemanGeoffrey KingstonJohn Piggott / Brožovaná
common.buy 1 231 Kč
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Brožovaná
common.buy 864 Kč

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Informace o knize

Plný název Model Checking Software
Autor Susanne Graf, Laurent Mounier
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 314
EAN 9783540213147
ISBN 3540213147
Libristo kód 01559203
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 493
Rozměry 155 x 235 x 18

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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 > 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