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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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
56.10 €
Na zalogi pri dobavitelju Odposlali bomo v 9-15 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Star Wars Hidden Empire T02 / Knjiga Mehka
common.buy 19.84 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Koledar/Rokovnik Koledar
common.buy 51.44 €
Be Kind (Nepali-English) Livia Lemgruber / Knjiga Mehka
common.buy 16.60 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Koledar/Rokovnik Rokovnik
common.buy 9.92 €
Den Libanon lieben lernen Laura Ziegler / Knjiga Mehka
common.buy 6.98 €
Diamante Nero Victoria Quinn / Knjiga Mehka
common.buy 14.98 €
Die besten Aufstriche selbst gemacht Charly Till / Knjiga Mehka
common.buy 8.09 €
Textanfänge Ulrike Krieg-Holz / Knjiga Mehka
common.buy 44.55 €
Raketa Hravá kniha pro děti collegium / Knjiga Mehka
common.buy 11.33 €
Nach dem bewaffneten Kampf Angelika Holderberg / Knjiga Mehka
common.buy 9.00 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Knjiga Mehka
common.buy 13.06 €
Uzniki Razuma Tat'yana Volkova / Knjiga Mehka
common.buy 49.42 €

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

Sword Song Sal Quartuccio / Knjiga Mehka
common.buy 18.22 €
Myofascial Induction (TM) Andrzej Pilat / Knjiga Trda
common.buy 159.51 €
Down the Highway: The Life of Bob Dylan Howard Sounes / Knjiga Mehka
common.buy 16.20 €
The Shadow Lily Johanna Mo / Knjiga Mehka
common.buy 12.24 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Knjiga Mehka
common.buy 6.37 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Knjiga Mehka
common.buy 12.95 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Knjiga Mehka
common.buy 7.18 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Knjiga Mehka
common.buy 30.07 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Knjiga Mehka
common.buy 13.87 €
Shadowless Alison Robinson / Knjiga Trda
common.buy 16.90 €
Harbor Knight Ralph A Garcia / Knjiga Mehka
common.buy 14.78 €
Best Is Always... Still Yet to Come! Keith Payne / Knjiga Mehka
common.buy 16.20 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Knjiga Trda
common.buy 41.82 €
Tour to London Pierre Jean Grosley / Knjiga Mehka
common.buy 25.82 €
Boxer's Bible of Counterpunching Mark Hatmaker / Knjiga Mehka
common.buy 10.62 €

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?