Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Model Checking Software

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Alastair Donaldson
Libristo kód: 01661641
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Celý popis
? points 115 b
47.67 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Veselý vlak - Nálepky do vane neuvedený autor / Tlačovina Karty
common.buy 10.34 €
Dictionnaire généalogique des habitants de Saint-Just (Cher) Laroche / Kniha Brožovaná
common.buy 111.89 €
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Kniha Brožovaná
common.buy 44.43 €
Analisi del (dis)comfort termico e sue implicazioni pedagogiche Juv?ncio Olinda Jo?o Macovela / Kniha Brožovaná
common.buy 26.87 €
FAUNO Cristina Lobo / Kniha Brožovaná
common.buy 20.28 €
Polnische Ostseeküste Wolfgang Kling / Kniha Brožovaná
common.buy 14.50 €
Studien zur Geschichte der Medizin Viktor von Fossel / Kniha Pevná
common.buy 53.56 €
Krabben Günter Pump / Kniha Pevná
common.buy 8.61 €
Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Kniha Brožovaná
common.buy 30.63 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Kniha Brožovaná
common.buy 25.45 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Kniha Brožovaná
common.buy 16.22 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Kniha Brožovaná
common.buy 34.08 €
Ganz normale Bürger David King / Kniha Pevná
common.buy 20.48 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Kniha Brožovaná
common.buy 13.58 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Model Checking Software
Autor Alastair Donaldson, David Parker
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 261
EAN 9783642317583
ISBN 3642317588
Libristo kód 01661641
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 421
Rozmery 155 x 235 x 15

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo > Testovanie a verifikácia softvéru
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Methane and its Derivatives Sunggyu Lee / Kniha Pevná
common.buy 528.45 €
Anti-Zionism on Campus Andrew Pessin / Kniha Brožovaná
common.buy 42.80 €
Esther's Tooth: Judge Ortega investigates Mike Thomas / Kniha Brožovaná
common.buy 14.09 €
The Fulcrum Files Mark Chisnell / Kniha Brožovaná
common.buy 15.00 €
Holomorphic Foliations with Singularities Bruno Scardua / Kniha Pevná
common.buy 80.54 €
Music and Technology: A Very Short Introduction Katz / Kniha Brožovaná
common.buy 10.03 €
Newsmakers Gale Group / Kniha Pevná
common.buy 225.21 €
Trapped Under the Sea Neil Swidey / Kniha Brožovaná
common.buy 17.74 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Kniha Pevná
common.buy 43.72 €
Stories from Mother's Note Book Lucy Tonge / Kniha Pevná
common.buy 30.12 €
Sanctuary of Demeter and Kore Nancy Bookidis / Kniha Pevná
common.buy 173.17 €
The Bible by Jesus: A Modern Paraphrase by Elmer L. Towns Elmer Towns / Kniha Brožovaná
common.buy 22.92 €
Poetical Works of John Dryden. with Life and Critical Dissertation [By George Gilfillan]. the Text Edited by Charles Cowden Clarke. Charles Cowden Clarke / Kniha Brožovaná
common.buy 23.63 €
A treatise on the improvement of canal navigation; ... Illustrated with seventeen plates. By R. Fulton, ... Robert Fulton / Kniha Brožovaná
common.buy 17.44 €
Everything we do is music Barry Russell / Kniha Brožovaná
common.buy 32.66 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Kniha Brožovaná
common.buy 11.76 €
Hidden Dungeon Only I Can Enter (Manga) Vol. 1 Tomoyuki Hino / Kniha Brožovaná
common.buy 10.03 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Kniha Pevná
common.buy 178.85 €
Cracked James Davies / Kniha Brožovaná
common.buy 13.99 €
Magnetic Micro and Nanorobot Swarms: From Fundamentals to Applications Li Zhang / Kniha Pevná
common.buy 144.46 €
International Climate Change Law Daniel Bodansky / Kniha Brožovaná
common.buy 90.89 €
Top
Last Generation of the Roman Republic Gruen / Kniha Brožovaná
common.buy 47.16 €
Classification and Cognition William K. Estes / Kniha Brožovaná
common.buy 71.51 €
Integration Through Foreign Direct Investment Gábor Hunya / Kniha Pevná
common.buy 167.28 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?