Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Dragan Bosnacki
Libristo kód: 01564229
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2002
"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Tiskovina Noty
common.buy 486 Kč
La Cascade Féerique, Audio-CD Michel Pépé / Audio Audio CD
common.buy 420 Kč
BilMoG und Interne Revision Alexander Hofem / Kniha Brožovaná
common.buy 706 Kč
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Kniha Brožovaná
common.buy 234 Kč
Erlebnis und Geschichte Edgar Feuchtwanger / Kniha Brožovaná
common.buy 787 Kč
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Kniha Brožovaná
common.buy 813 Kč

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Model Checking Software
Autor Dragan Bosnacki, Stefan Leue
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 262
EAN 9783540434771
ISBN 3540434771
Libristo kód 01564229
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 472
Rozměry 155 x 235 x 16

Kategorie

Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačová 3D grafika a modelování
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

Mohlo by vás také zajímat

Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Kniha Brožovaná
common.buy 664 Kč
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Kniha Brožovaná
common.buy 393 Kč
Picross Hanjie Griddlers Nonograms book Djape / Kniha Brožovaná
common.buy 279 Kč
Indictment of the American Clergy THOMAS WADE / Kniha Brožovaná
common.buy 353 Kč
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Kniha Brožovaná
common.buy 305 Kč
Lilith: the Legend of the First Woman Ada Langworthy Collier / Kniha Brožovaná
common.buy 423 Kč
The Queen's Gamble Barbara Kyle / Kniha Brožovaná
common.buy 410 Kč
French & Indian War Novels Joseph A. Altsheler / Kniha Pevná
common.buy 990 Kč
Forever Words James Garvin / Kniha Brožovaná
common.buy 304 Kč
Shakespeare and Race Imtiaz Habib / Kniha Pevná
common.buy 1 848 Kč
Social Structure Charles Crothers / Kniha Pevná
common.buy 5 435 Kč
Power to the Patient Atlas / Kniha Brožovaná
common.buy 301 Kč
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Kniha Pevná
common.buy 3 180 Kč
For Derrida J. Hillis Miller / Kniha Brožovaná
common.buy 1 293 Kč
Critical Dictionary of the French Revolution Francois Furet / Kniha Pevná
common.buy 5 481 Kč
Modern Monetary Theory M.L. Burstein / Kniha Brožovaná
common.buy 2 646 Kč
Strangers In Death J. D. Robb / Kniha Brožovaná
common.buy 317 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?