Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Model Checking Software

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Model Checking Software Jaco C. van de Pol
Libristo kod: 01656755
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Cijeli opis
? points 142 b
58.50 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Star Wars Hidden Empire T02 / Knjiga Meki uvez
common.buy 20.71 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalendar/Rokovnik Kalendar
common.buy 54.15 €
Be Kind (Nepali-English) Livia Lemgruber / Knjiga Meki uvez
common.buy 17.37 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalendar/Rokovnik Rokovnik
common.buy 10.40 €
Den Libanon lieben lernen Laura Ziegler / Knjiga Meki uvez
common.buy 7.37 €
Diamante Nero Victoria Quinn / Knjiga Meki uvez
common.buy 15.75 €
Die besten Aufstriche selbst gemacht Charly Till / Knjiga Meki uvez
common.buy 8.58 €
Textanfänge Ulrike Krieg-Holz / Knjiga Meki uvez
common.buy 46.98 €
Raketa Hravá kniha pro děti collegium / Knjiga Meki uvez
common.buy 12.02 €
Nach dem bewaffneten Kampf Angelika Holderberg / Knjiga Meki uvez
common.buy 9.59 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Knjiga Meki uvez
common.buy 13.63 €
Uzniki Razuma Tat'yana Volkova / Knjiga Meki uvez
common.buy 52.34 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Model Checking Software
Autor Jaco C. van de Pol, Michael Weber
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 263
EAN 9783642161636
ISBN 3642161634
Libristo kod 01656755
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 421
Dimenzije 159 x 235 x 18

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Sword Song Sal Quartuccio / Knjiga Meki uvez
common.buy 19.29 €
Myofascial Induction (TM) Andrzej Pilat / Knjiga Tvrdi uvez
common.buy 159.15 €
Down the Highway: The Life of Bob Dylan Howard Sounes / Knjiga Meki uvez
common.buy 17.27 €
The Shadow Lily Johanna Mo / Knjiga Meki uvez
common.buy 13.13 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Knjiga Meki uvez
common.buy 6.86 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Knjiga Meki uvez
common.buy 13.63 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Knjiga Meki uvez
common.buy 7.47 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Knjiga Meki uvez
common.buy 31.62 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Knjiga Meki uvez
common.buy 14.64 €
Shadowless Alison Robinson / Knjiga Tvrdi uvez
common.buy 17.98 €
Harbor Knight Ralph A Garcia / Knjiga Meki uvez
common.buy 15.75 €
Best Is Always... Still Yet to Come! Keith Payne / Knjiga Meki uvez
common.buy 17.17 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Knjiga Tvrdi uvez
common.buy 43.85 €
Tour to London Pierre Jean Grosley / Knjiga Meki uvez
common.buy 25.76 €
Boxer's Bible of Counterpunching Mark Hatmaker / Knjiga Meki uvez
common.buy 11.31 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun