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

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Model Checking Software Matthew Dwyer
Libristo kod: 01563494
Nakladnici Springer, Berlin, studeni 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Knjiga Meki uvez
common.buy 48.90 €
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / E-knjiga Adobe ePub DRM
common.buy 14.14 €
Vláček a jeho kamarádi / Knjiga Leporelo
common.buy 11.71 €
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Knjiga Meki uvez
common.buy 5.95 €
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 Meki uvez
common.buy 21.21 €
Pripremamo
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Tiskanica Karte
common.buy 18.68 €
Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Knjiga Meki uvez
common.buy 40.11 €
Tokos Gianna Hedderich / Knjiga Meki uvez
common.buy 34.55 €
MI Jevgenyij Zamjatyin / Knjiga Tvrdi uvez
common.buy 10.40 €
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalendar/Rokovnik Kalendar
common.buy 73.76 €
G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio Audio vinil
common.buy 37.88 €
Číňan Henning Mankell / Knjiga Tvrdi uvez
common.buy 11.71 €
Shopkins Cicibiciler - Mutsuz Kurabi / Knjiga Meki uvez
common.buy 21.11 €
Český jazyk pro 3. ročník SOŠ Čechová / Knjiga Meki uvez
common.buy 7.97 €
Postdemokratie Colin Crouch / Knjiga Meki uvez
common.buy 10.90 €
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Knjiga Meki uvez
common.buy 16.16 €
Treasurers of the Snow Patricia St John / Knjiga Meki uvez
common.buy 14.64 €
La casa de Tomasa Phyllis Root / Knjiga Meki uvez
common.buy 22.52 €
Aguas arriba de mi madre Arnáiz / Knjiga Meki uvez
common.buy 21.92 €
Fiat 850. 1964-1973 Alessandro Sannia / Knjiga Meki uvez
common.buy 21.51 €
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Knjiga Meki uvez
common.buy 21.51 €
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Knjiga Meki uvez
common.buy 10.80 €
La bible de l'homéopathie et des traitements naturels Alain Paul / Knjiga Meki uvez
common.buy 27.27 €
Povoljno
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Knjiga Tvrdi uvez
common.buy 11.21 €

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.

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 Matthew Dwyer
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2001
Broj stranica 318
EAN 9783540421245
ISBN 3540421246
Libristo kod 01563494
Nakladnici Springer, Berlin
Težina 467
Dimenzije 155 x 235 x 17

Kategorija

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

Damnation Peter McLean / Knjiga Meki uvez
common.buy 11.71 €
Do Vikings Wear Glasses? Jon Laidlaw / Knjiga Meki uvez
common.buy 15.35 €
Cracked Chessboard Elizabeth Emberton / Knjiga Meki uvez
common.buy 18.38 €
Leisure Marketing HORNER / Knjiga Tvrdi uvez
common.buy 283.34 €
Philip Roth: Nemeses (LOA #237) Philip Roth / Knjiga Tvrdi uvez
common.buy 25.35 €
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Knjiga Meki uvez
common.buy 31.62 €
Three Nearsighted Mice Diane Epstein / Knjiga Meki uvez
common.buy 15.75 €
Top
Hollow MYERS CELINA / Knjiga Tvrdi uvez
common.buy 20.71 €
Oxford Handbook of International Criminal Law Darryl Robinson / Knjiga Meki uvez
common.buy 55.77 €
Finally Enough Love Madonna / Audio Audio vinil
common.buy 32.12 €
History of Market Drayton John Robinson Lee / Knjiga Meki uvez
common.buy 17.07 €
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Knjiga Meki uvez
common.buy 31.62 €
Prince Charming Charity L Maness / Knjiga Meki uvez
common.buy 10.30 €
A Prayer for Inner Peace Allan A Glatthorn / Knjiga Meki uvez
common.buy 12.12 €
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Knjiga Meki uvez
common.buy 17.47 €
Love and War Warren MacQuarrie / Knjiga Tvrdi uvez
common.buy 40.92 €
Lonely Hearts Cry Anji Nolan / Knjiga Meki uvez
common.buy 15.25 €
Saint of Lost Things Tish Delaney / E-knjiga Adobe ePub DRM
common.buy 9.39 €
Data Governance Act Moritz Hennemann / Knjiga Tvrdi uvez
common.buy 178.55 €
American Nation: A History, Vol. 9 Jeremy Schifeling / Audio knjiga MP3
common.buy 18.99 €
My School Improvement Doodle Book Ben Keeling / Knjiga Meki uvez
common.buy 14.84 €
Underdog Sue-Ann Levy / Knjiga Tvrdi uvez
common.buy 29.40 €
Cutting Edge 3rd Edition Intermediate Teacher's Book and Teacher's Resource Disk Pack Damian Williams / Knjiga Meki uvez
common.buy 65.07 €
Oxford English for Academic Purposes B1+ Teacher's Handbook de Chazal Edward / Knjiga Meki uvez
common.buy 53.04 €

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