Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Jaco C. van de Pol
Koda Libristo: 01656755
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Celoten opis
? points 136 b
55.47 €
Na zalogi pri dobavitelju Odposlali bomo v 10-16 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Star Wars Hidden Empire T02 / Knjiga Mehka
common.buy 18.52 €
Las Grandes Batallas Navales 10. La Hougue JEAN-YVES DELITTE / Knjiga Mehka
common.buy 18.12 €
Odnaleziony Coben Harlan / Knjiga Mehka
common.buy 8.90 €
La forge monastique, discrétion et rigueur Elie / Knjiga Mehka
common.buy 7.60 €
Kmalu
JANE GOODALL / Knjiga Trda
common.buy 26.73 €
Fame and Fortune TM Smith / E-knjiga Adobe ePub DRM
common.buy 4.90 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Koledar/Rokovnik Koledar
common.buy 50.88 €
PUZZLE 1000 Witraż Zwierzęta 10957 / Igra/Igrača Sestavljanka
common.buy 8.90 €
Uzniki Razuma Tat'yana Volkova / Knjiga Mehka
common.buy 48.86 €
Be Kind (Nepali-English) Livia Lemgruber / Knjiga Mehka
common.buy 16.01 €
El estado de las gastronomías González de Heredia Garaygordobil / Knjiga Mehka
common.buy 24.53 €
Shame - 368000 km pour découvrir... mon histoire volée par MK2 production Wild / Knjiga Mehka
common.buy 15.51 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Koledar/Rokovnik Rokovnik
common.buy 8.50 €
Den Libanon lieben lernen Laura Ziegler / Knjiga Mehka
common.buy 6.90 €
Muerte en la vicaría Agatha Christie / Zvok Zvočni CD
common.buy 9.00 €
Sofiin svět Jostein Gaarder / Zvok Zvočni CD
common.buy 11.11 €
Diamante Nero Victoria Quinn / Knjiga Mehka
common.buy 14.82 €
Die besten Aufstriche selbst gemacht Charly Till / Knjiga Mehka
common.buy 8.90 €
Textanfänge Ulrike Krieg-Holz / Knjiga Mehka
common.buy 44.05 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Knjiga Mehka
common.buy 12.31 €
Raketa Hravá kniha pro děti collegium / Knjiga Mehka
common.buy 10.60 €
Nach dem bewaffneten Kampf Angelika Holderberg / Knjiga Mehka
common.buy 9.00 €
Kvalita software Petr Roudenský / Knjiga Mehka
common.buy 7.60 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Model Checking Software
Avtor Jaco C. van de Pol, Michael Weber
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 263
EAN 9783642161636
ISBN 3642161634
Koda Libristo 01656755
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 421
Mere 159 x 235 x 18

Kategorije

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Dynamic Stochastic Optimization K. Marti / Knjiga Mehka
common.buy 96.43 €
Artificial Intelligence Applications and Innovations Lazaros S. Iliadis / Knjiga Mehka
common.buy 96.43 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Knjiga Mehka
common.buy 13.72 €
Fabianism and Fabianist Morals in G.B. Shaw's Widowers Houses, Arms and the Man and The Devil's Disciple Nicholas Williams / Knjiga Mehka
common.buy 13.41 €
38 DIVISION 114 Infantry Brigade Welsh Regiment 10th, 13t, 14th and 15th Battalion, Brigade Machine Gun Company and Brigade Trench Mortar Battery Wo95/2559 / Knjiga Mehka
common.buy 100.33 €
Olmecs: A Captivating Guide to the Earliest Known Major Ancient Civilization in Mexico Captivating History / Knjiga Mehka
common.buy 12.71 €
Puppy Dance Party! (Paw Patrol) Hollis James / Knjiga Mehka
common.buy 5.70 €
Paxton Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Paxton Books / Knjiga Mehka
common.buy 9.71 €
Field Studies Techniques. Part 3. Zoology: Investigating Nature Together Michael Brody / Knjiga Mehka
common.buy 13.01 €
Top
Down the Highway: The Life of Bob Dylan Howard Sounes / Knjiga Mehka
common.buy 16.01 €
Myofascial Induction (TM) Andrzej Pilat / Knjiga Trda
common.buy 155.61 €
The Shadow Lily Johanna Mo / Knjiga Mehka
common.buy 12.41 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Knjiga Mehka
common.buy 7.80 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Knjiga Mehka
common.buy 12.81 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Knjiga Mehka
common.buy 7.20 €
Poceni
Homegrown Flax and Cotton CONNER CINDY / Knjiga Mehka
common.buy 14.41 €
Statistical Mechanics of Neural Networks Huang / Knjiga Mehka
common.buy 144.60 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Knjiga Mehka
common.buy 29.83 €
Shadowless Alison Robinson / Knjiga Trda
common.buy 16.71 €
Best Is Always... Still Yet to Come! Keith Payne / Knjiga Mehka
common.buy 16.01 €
Tour to London Pierre Jean Grosley / Knjiga Mehka
common.buy 22.62 €
Adventures of Doctor Chess A Student / Knjiga Mehka
common.buy 22.42 €
Sword Song Sal Quartuccio / Knjiga Mehka
common.buy 17.92 €
Causal Analysis with Panel Data Steven Eric Finkel / Knjiga Mehka
common.buy 24.32 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?