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

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Patrick Godefroid
Koda Libristo: 01560970
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avgust 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... Celoten opis
? points 118 b
48.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Die Transformatoren R. Küchler / Knjiga Mehka
common.buy 72.90 €
Kmalu
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Igra/Igrača Igrača
common.buy 78.87 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-knjiga Adobe ePub DRM
common.buy 2.42 €
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-knjiga Adobe ePub DRM
common.buy 0.90 €
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Knjiga Mehka
common.buy 6.77 €
Les plus belles parties d'échecs de Paul Morphy Reinfeld / Knjiga Mehka
common.buy 17.20 €
Global Tools (1973-1975) / Knjiga Trda
common.buy 38.87 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Knjiga Mehka
common.buy 18.52 €
Ineos Grenadier Jörg Sand / Knjiga Trda
common.buy 14.98 €
Šťastie na prenájom Lucia Braunová / Knjiga Mehka
common.buy 6.27 €
Passwort Logbuch Uwe H. Sültz / Knjiga Mehka
common.buy 4.34 €
SLOVO BUDHOVO Nyánatiloka Maháthera / Knjiga Knjiga
common.buy 6.67 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Knjiga Mehka
common.buy 10.32 €
La Region Mas Transparente Carlos Fuentes / Knjiga Mehka
common.buy 16.50 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Knjiga Mehka
common.buy 40.29 €
Aronia - Das heimische Superfood Tanja Braune / Knjiga Mehka
common.buy 15.08 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Knjiga Mehka
common.buy 5.86 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Knjiga Mehka
common.buy 26.12 €
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Knjiga Mehka
common.buy 15.79 €
Les Petits Loustics Hugues Denisot / Knjiga Mehka
common.buy 14.07 €
Ingenieurbauführer Berlin Roland May / Knjiga Mehka
common.buy 23.69 €
Main de fer et gant de velours Virginie Platel / Knjiga Mehka
common.buy 20.85 €
En Ovantad flykt till Sverige Tadesse Kassa / Knjiga Mehka
common.buy 10.32 €
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Knjiga Mehka
common.buy 7.69 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

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 Patrick Godefroid
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2005
Število strani 292
EAN 9783540281955
ISBN 3540281959
Koda Libristo 01560970
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 960
Mere 155 x 235 x 17

Kategorije

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

GREAT CAROLS Hal Leonard Corp / Knjiga Mehka
common.buy 11.64 €
Across the Seasons Laura Rugel Glise / Knjiga Mehka
common.buy 18.12 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Knjiga Mehka
common.buy 19.23 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Knjiga Trda
common.buy 199.98 €
Home On Bramble Hill Holly Martin / Zvočnica MP3
common.buy 13.46 €
Not in the Flesh Ruth Rendell / Knjiga Mehka
common.buy 14.67 €
Lakeland Lynn M. Homan / Knjiga Mehka
common.buy 18.32 €
The English Baptists John Clifford / Knjiga Trda
common.buy 39.48 €
White Cats Book Marjo-Kaisu Niinikoski / Knjiga Mehka
common.buy 19.63 €
Gabriella's Reading Log Martha Day Zschock / Knjiga Trda
common.buy 14.77 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Knjiga Mehka
common.buy 33.61 €
Mini Look & Find at School (Mini Look & Find) Thierry Laval / Knjiga Trda
common.buy 9.10 €
Lightning Strikes Stephanie Richards / Knjiga Mehka
common.buy 12.75 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Knjiga Mehka
common.buy 8.50 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Knjiga Mehka
common.buy 14.07 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Knjiga Mehka
common.buy 9.51 €
Double Digit Annabel Monaghan / E-knjiga Adobe ePub DRM
common.buy 1.61 €
Circle Mosaics Coloring Book 2: Cute Animals Coloring Pages Color by Number Puzzle for Adults Kodomo Publishing / Knjiga Mehka
common.buy 8.19 €
Horrible Craft Book Laura Minter / Knjiga Mehka
common.buy 14.77 €
Understanding FIDIC Kelvin Hughes / Knjiga Trda
common.buy 170.21 €
Georgian Tinatin Bolkvadze / Knjiga Trda
common.buy 180.24 €
Fishing Holidays Stephen Gwynn / Knjiga Mehka
common.buy 22.98 €
Fist Number 6 Dean Whittington / Knjiga Trda
common.buy 26.01 €
Top
Fun Card English Present Perfect vs Past Simple Dwornik Paweł / Tiskani izdelki Karte
common.buy 7.28 €

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?