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

8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Matthew Dwyer
Koda Libristo: 01563494
Založba Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Knjiga Mehka
common.buy 46.18 €
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / E-knjiga Adobe ePub DRM
common.buy 13.36 €
Vláček a jeho kamarádi / Knjiga Kartonka
common.buy 11.03 €
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Knjiga Mehka
common.buy 5.66 €
Las Historias Del Origen De Los Indios De Esta Provincia De Guatemala, Tr. Por F. Ximenez. Publ. Y Aumentado Con Una Intr. Y Anotaciones Por C. Scherz Popol-vuh / Knjiga Mehka
common.buy 20.25 €
Kmalu
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Tiskani izdelki Karte
common.buy 17.61 €
Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Knjiga Mehka
common.buy 37.87 €
Tokos Gianna Hedderich / Knjiga Mehka
common.buy 32.81 €
MI Jevgenyij Zamjatyin / Knjiga Trda
common.buy 9.71 €
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Koledar/Rokovnik Koledar
common.buy 70.08 €
G_d'S Pee at State'S End! Godspeed You! Black Emperor Zvok Zvočni vinil
common.buy 35.95 €
Číňan Henning Mankell / Knjiga Trda
common.buy 11.03 €
Shopkins Cicibiciler - Mutsuz Kurabi / Knjiga Mehka
common.buy 20.04 €
Český jazyk pro 3. ročník SOŠ Čechová / Knjiga Mehka
common.buy 7.59 €
Postdemokratie Colin Crouch / Knjiga Mehka
common.buy 10.32 €
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Knjiga Mehka
common.buy 15.28 €
Treasurers of the Snow Patricia St John / Knjiga Mehka
common.buy 13.97 €
La casa de Tomasa Phyllis Root / Knjiga Mehka
common.buy 20.04 €
Aguas arriba de mi madre Arnáiz / Knjiga Mehka
common.buy 20.96 €
Fiat 850. 1964-1973 Alessandro Sannia / Knjiga Mehka
common.buy 20.35 €
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Knjiga Mehka
common.buy 20.45 €
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Knjiga Mehka
common.buy 10.22 €
La bible de l'homéopathie et des traitements naturels Alain Paul / Knjiga Mehka
common.buy 26.12 €
Poceni
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Knjiga Trda
common.buy 11.23 €

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

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 Matthew Dwyer
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2001
Število strani 318
EAN 9783540421245
ISBN 3540421246
Koda Libristo 01563494
Založba Springer, Berlin
Teža 467
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

Damnation Peter McLean / Knjiga Mehka
common.buy 11.03 €
Do Vikings Wear Glasses? Jon Laidlaw / Knjiga Mehka
common.buy 15.39 €
Cracked Chessboard Elizabeth Emberton / Knjiga Mehka
common.buy 17.51 €
Leisure Marketing HORNER / Knjiga Trda
common.buy 271.02 €
Philip Roth: Nemeses (LOA #237) Philip Roth / Knjiga Trda
common.buy 23.69 €
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Knjiga Mehka
common.buy 30.17 €
Three Nearsighted Mice Diane Epstein / Knjiga Mehka
common.buy 15.18 €
Top
Hollow MYERS CELINA / Knjiga Trda
common.buy 19.23 €
Oxford Handbook of International Criminal Law Darryl Robinson / Knjiga Mehka
common.buy 53.47 €
Finally Enough Love Madonna / Zvok Zvočni vinil
common.buy 30.27 €
History of Market Drayton John Robinson Lee / Knjiga Mehka
common.buy 16.09 €
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Knjiga Mehka
common.buy 30.07 €
Prince Charming Charity L Maness / Knjiga Mehka
common.buy 9.81 €
A Prayer for Inner Peace Allan A Glatthorn / Knjiga Mehka
common.buy 11.54 €
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Knjiga Mehka
common.buy 16.70 €
Love and War Warren MacQuarrie / Knjiga Trda
common.buy 38.88 €
Lonely Hearts Cry Anji Nolan / Knjiga Mehka
common.buy 14.47 €
Saint of Lost Things Tish Delaney / E-knjiga Adobe ePub DRM
common.buy 8.90 €
Data Governance Act Moritz Hennemann / Knjiga Trda
common.buy 169.03 €
American Nation: A History, Vol. 9 Jeremy Schifeling / Zvočnica MP3
common.buy 18.02 €
My School Improvement Doodle Book Ben Keeling / Knjiga Mehka
common.buy 14.07 €
Underdog Sue-Ann Levy / Knjiga Trda
common.buy 27.84 €
Oxford English for Academic Purposes B1+ Teacher's Handbook de Chazal Edward / Knjiga Mehka
common.buy 47.49 €
Nine Man Eaters and One Rogue Kenneth Anderson / Knjiga Mehka
common.buy 22.98 €

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