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

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Dragan Bosnacki
Libristo kód: 01568802
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2007
This book constitutes the refereed proceedings of the 14th 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

Grundlinien der Philosophie D. Fr. Ast / Kniha Brožovaná
common.buy 1 209 Kč
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Kniha Brožovaná
common.buy 800 Kč
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Kniha Brožovaná
common.buy 245 Kč
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Kniha Brožovaná
common.buy 813 Kč
LES PEINTURES Beeckman / Kniha Brožovaná
common.buy 276 Kč
Top
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Kniha Brožovaná
common.buy 326 Kč
Ötanazi Okulu 1 Ciltli / Kniha Brožovaná
common.buy 461 Kč
Top
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Kniha Brožovaná
common.buy 620 Kč
Pasta Masterclass Wiebke Krabbe / Kniha Pevná
common.buy 573 Kč
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Kniha Brožovaná
common.buy 911 Kč
Krevní banka Tanya Huffová / Kniha Brožovaná
common.buy 192 Kč
Das Quiz für Besserwisser I ab 10 Jahren / Kniha Pevná
common.buy 170 Kč
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Kniha Brožovaná
common.buy 796 Kč
Senzibil Markéta Pilátová / Kniha Pevná
common.buy 263 Kč
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Kniha Brožovaná
common.buy 598 Kč
Religiöses Leben und philosophische Selbstbestimmung Simone Fazzi / Kniha Brožovaná
common.buy 380 Kč
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Kniha Brožovaná
common.buy 430 Kč
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Kniha Brožovaná
common.buy 203 Kč
Levně
Raphael und Pinturicchio in Siena August Schmarsow / Kniha Brožovaná
common.buy 37 Kč
Sally y la maldición del rubí PULLMAN / Kniha Brožovaná
common.buy 194 Kč
La psicología en la escuela Delval / Kniha Brožovaná
common.buy 443 Kč
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Kniha Brožovaná
common.buy 1 214 Kč

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Edelkamp
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2007
Počet stran 285
EAN 9783540733690
ISBN 3540733698
Libristo kód 01568802
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 462
Rozměry 155 x 235 x 17

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

Mohlo by vás také zajímat

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Kniha Brožovaná
common.buy 340 Kč
Space Warfare in the 21st Century Joan Johnson-Freese / Kniha Brožovaná
common.buy 1 355 Kč
First Man Simon Schwartz / Kniha Pevná
common.buy 803 Kč
Islam in Turkey Frances Hawker / Kniha Brožovaná
common.buy 191 Kč
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Kniha Brožovaná
common.buy 292 Kč
Facebook Marketing Guide for Beginners Steven Murphy / Kniha Brožovaná
common.buy 275 Kč
Drug And Disease Free Michael Broder / Kniha Brožovaná
common.buy 225 Kč
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Kniha Pevná
common.buy 1 782 Kč
Around the World in 80 Days Jules Verne / Kniha Brožovaná
common.buy 180 Kč
Top
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Kniha Brožovaná
common.buy 767 Kč
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Kniha Brožovaná
common.buy 243 Kč
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Kniha Brožovaná
common.buy 743 Kč
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Kniha Brožovaná
common.buy 362 Kč
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / E-kniha Adobe ePub DRM
common.buy 8 881 Kč
Centroeuropa Vincente Luis Mora / Kniha Brožovaná
common.buy 267 Kč
Clinical Oral Pathology Nabil Kochaji / Kniha Pevná
common.buy 2 303 Kč
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Kniha Pevná
common.buy 1 787 Kč
Deregulation of Network Industries Sam Peltzman / Kniha Brožovaná
common.buy 772 Kč
Little Men Louisa May Alcott / Kniha Brožovaná
common.buy 227 Kč
Braided Rivers: Process, Deposits, Ecology, Management Jim Best / Kniha Brožovaná
common.buy 4 081 Kč
Swahili for Foreigners Alice Wanjiku Mangat / Kniha Brožovaná
common.buy 1 105 Kč
Preaching the Tradition Rex Mason / Kniha Brožovaná
common.buy 1 110 Kč
Contact! Bob Tuxford / Kniha Pevná
common.buy 733 Kč
MOD Richard Weight / Kniha Brožovaná
common.buy 362 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?