Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking Software

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

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Matthew Dwyer
Kod Libristo: 01563494
Wydawnictwo Springer, Berlin, listopad 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Książka Miękka
common.buy 207.26 zł
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / E-book Adobe ePub DRM
common.buy 62.93 zł
Vláček a jeho kamarádi / Książka Leporelo
common.buy 49.70 zł
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Książka Miękka
common.buy 26.45 zł
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 / Książka Miękka
common.buy 89.89 zł
Zapowiedź
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Prasa Karty
common.buy 79.07 zł
Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Książka Miękka
common.buy 170.08 zł
Tokos Gianna Hedderich / Książka Miękka
common.buy 146.22 zł
MI Jevgenyij Zamjatyin / Książka Twarda
common.buy 46.50 zł
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 312.60 zł
G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio Winyl Audio
common.buy 160.45 zł
Číňan Henning Mankell / Książka Twarda
common.buy 49.70 zł
Shopkins Cicibiciler - Mutsuz Kurabi / Książka Miękka
common.buy 89.39 zł
Český jazyk pro 3. ročník SOŠ Čechová / Książka Miękka
common.buy 33.97 zł
Postdemokratie Colin Crouch / Książka Miękka
common.buy 46.40 zł
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Książka Miękka
common.buy 68.55 zł
Treasurers of the Snow Patricia St John / Książka Miękka
common.buy 61.93 zł
La casa de Tomasa Phyllis Root / Książka Miękka
common.buy 95.31 zł
Aguas arriba de mi madre Arnáiz / Książka Miękka
common.buy 97.41 zł
Fiat 850. 1964-1973 Alessandro Sannia / Książka Miękka
common.buy 91.10 zł
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Książka Miękka
common.buy 91.30 zł
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Książka Miękka
common.buy 45.79 zł
La bible de l'homéopathie et des traitements naturels Alain Paul / Książka Miękka
common.buy 121.07 zł
Tanie
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Książka Twarda
common.buy 47.60 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Model Checking Software
Autor Matthew Dwyer
Język Angielski
Oprawa Książka - Miękka
Data wydania 2001
Liczba stron 318
EAN 9783540421245
ISBN 3540421246
Kod Libristo 01563494
Wydawnictwo Springer, Berlin
Waga 467
Wymiary 155 x 235 x 17

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Damnation Peter McLean / Książka Miękka
common.buy 52.61 zł
Do Vikings Wear Glasses? Jon Laidlaw / Książka Miękka
common.buy 61.93 zł
Cracked Chessboard Elizabeth Emberton / Książka Miękka
common.buy 77.97 zł
Leisure Marketing HORNER / Książka Twarda
common.buy 1 200.51 zł
Philip Roth: Nemeses (LOA #237) Philip Roth / Książka Twarda
common.buy 114.75 zł
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Książka Miękka
common.buy 133.99 zł
Three Nearsighted Mice Diane Epstein / Książka Miękka
common.buy 67.04 zł
TOP
Hollow MYERS CELINA / Książka Twarda
common.buy 87.59 zł
Oxford Handbook of International Criminal Law Darryl Robinson / Książka Miękka
common.buy 236.13 zł
Finally Enough Love Madonna / Audio Winyl Audio
common.buy 144.52 zł
History of Market Drayton John Robinson Lee / Książka Miękka
common.buy 72.45 zł
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Książka Miękka
common.buy 133.79 zł
Prince Charming Charity L Maness / Książka Miękka
common.buy 43.69 zł
A Prayer for Inner Peace Allan A Glatthorn / Książka Miękka
common.buy 51.21 zł
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Książka Miękka
common.buy 74.16 zł
Love and War Warren MacQuarrie / Książka Twarda
common.buy 173.38 zł
Lonely Hearts Cry Anji Nolan / Książka Miękka
common.buy 64.54 zł
Saint of Lost Things Tish Delaney / E-book Adobe ePub DRM
common.buy 41.99 zł
Data Governance Act Moritz Hennemann / Książka Twarda
common.buy 756.51 zł
American Nation: A History, Vol. 9 Jeremy Schifeling / Audiobook MP3
common.buy 84.98 zł
My School Improvement Doodle Book Ben Keeling / Książka Miękka
common.buy 62.83 zł
Underdog Sue-Ann Levy / Książka Twarda
common.buy 124.57 zł
Cutting Edge 3rd Edition Intermediate Teacher's Book and Teacher's Resource Disk Pack Damian Williams / Książka Miękka
common.buy 288.44 zł
Oxford English for Academic Purposes B1+ Teacher's Handbook de Chazal Edward / Książka Miękka
common.buy 236.83 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo