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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

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řezen 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Celý popis
? points 136 b
1 355 Kč
Skladem u dodavatele Odesíláme za 10-16 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Připravujeme
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Kniha Kniha
common.buy 1 678 Kč
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-kniha Adobe ePub DRM
common.buy 213 Kč
Świat. Historia rodzinna (tom 2) Montefiore Simon Sebag / Kniha Pevná
common.buy 653 Kč
Top
Psychológia ako zbraň Tomáš Vepi / Kniha Pevná
common.buy 351 Kč
MYTHOS SANTOS / Kniha Kniha
common.buy 522 Kč
Bart Simpson Malý rošťák Matt Groening / Kniha Brožovaná
common.buy 53 Kč
Kontrastive Medienlinguistik Roman Opilowski / Kniha Brožovaná
common.buy 1 325 Kč
?Quién es mi bebé? EDICIONES / Kniha Brožovaná
common.buy 455 Kč
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Kniha Brožovaná
common.buy 244 Kč
Tutto il mondo del pane. 400 pani. 70 ricette. Scuole, tecniche, lieviti madre nei cinque continenti Fulvio Marino / Kniha Pevná
common.buy 658 Kč
Unterhaltsrecht Michael Schwimann / Kniha Pevná
common.buy 1 906 Kč
Le secret en matière fiscale Pilotin / Kniha Brožovaná
common.buy 1 040 Kč
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Video DVD
common.buy 316 Kč
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Kniha Brožovaná
common.buy 296 Kč
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Kniha Brožovaná
common.buy 312 Kč
Y Dejo Escapar Sus Ojos Teresa Zatarain / Kniha Pevná
common.buy 385 Kč
La semilla del futuro : la agricultura explicada a los ciudadanos François Dufour / Kniha Brožovaná
common.buy 511 Kč
Königsblut / Kniha Brožovaná
common.buy 184 Kč
Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7 La Forest-A / Kniha Brožovaná
common.buy 555 Kč
Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami Guy De Maupassant / Kniha Brožovaná
common.buy 791 Kč
Rafaela McKensey Monika Hoffmann / Kniha Brožovaná
common.buy 183 Kč
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Kniha Pevná
common.buy 837 Kč
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Kniha Brožovaná
common.buy 976 Kč
Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella Janike Kyritz / Kniha Brožovaná
common.buy 328 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.

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 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

Mohlo by vás také zajímat

Frontiers in Algorithms D. T. Lee / Kniha Brožovaná
common.buy 1 379 Kč
Classic Operating Systems Per Brinch Hansen / Kniha Pevná
common.buy 2 357 Kč
Rayne the Raindrop Marlo Nix / Kniha Brožovaná
common.buy 367 Kč
Top
First Steps: Caro-Kann Defence Andrew Martin / Kniha Brožovaná
common.buy 523 Kč
Mobile Communications Handbook Jerry D. Gibson / Kniha Brožovaná
common.buy 2 939 Kč
Cozy Camping (A Lexie Starr Mystery, Book 6) Jeanne Glidewell / Kniha Pevná
common.buy 599 Kč
Patología celular Norman F. Cheville / Kniha Brožovaná
common.buy 1 045 Kč
NOVELS, VOLUME 9 IVAN SERGE TURGENEV / Kniha Pevná
common.buy 772 Kč
Critical Readings on Food in East Asia (3 Vols. Set) K. J. Cwiertka / Kniha Pevná
common.buy 26 410 Kč
A Time to Laugh [With Bag] Ben Alex / Kniha Pevná
common.buy 317 Kč
Rick Riordan Presents: Serwa Boateng's Guide to Witchcraft and Mayhem Brown / Kniha Brožovaná
common.buy 206 Kč
How's the Weather in Fall? Rebecca Felix / Kniha Brožovaná
common.buy 275 Kč
A History of Westbury, Long Island Richard Panchyk / Kniha Pevná
common.buy 575 Kč
Standard English Grammar William Fewsmith / Kniha Pevná
common.buy 750 Kč
Stuck in the Passing Lane Jed Ringel / Kniha Brožovaná
common.buy 292 Kč
Digital News and HIV Criminalization Colin Hastings / Kniha Brožovaná
common.buy 573 Kč
Scruffy Goes to the Vet Stephen Rickard / Kniha Brožovaná
common.buy 141 Kč
Top
The Power of the Pussy Kara King / Kniha Brožovaná
common.buy 331 Kč
Entrepreneurship in the Arab World EL KHAZINDAR BUSINES / Kniha Pevná
common.buy 841 Kč
Advent Encounter MATT MESSNER / Kniha Pevná
common.buy 468 Kč
Eugenics and Other Evils G. K. Chesterton / Kniha Brožovaná
common.buy 400 Kč
Simply Circles Bayer Philip Bayer / Kniha Brožovaná
common.buy 444 Kč
Skim, Dive, Surface Jenae Cohn / Kniha Brožovaná
common.buy 577 Kč
Top
My First 100 Technology Words Chris Ferrie / Kniha Leporelo
common.buy 142 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?