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 Kurier 12.99 zł Punkt DPD 11.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
223.38 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Loredana Nemes Graubaum Und Himmelmeer /allemand NEMES LOREDANA / Książka Miękka
common.buy 204.64 zł
TOP Zapowiedź
GAIA tarot - Kapesní verze (78 karet + výkladová kniha) Veronika Kovářová / Prasa Karty
common.buy 80.76 zł
MI Jevgenyij Zamjatyin / Książka Twarda
common.buy 47.70 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 91.82 zł
Inteligencja emocjonalna nauczycieli jezyka angielskiego jako jezyka obcego a ich satysfakcja z pracy Mohammad Hossein Hekmatzadeh / Książka Miękka
common.buy 211.70 zł
El gran detective Byron Mitchell MARTIN FERRERAS / Książka Miękka
common.buy 63.98 zł
Sehnsucht Schottland (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 319.30 zł
Ricki und Rosa und das Alles-geht-schief-Schulprojekt Dagmar Chidolue / E-book Adobe ePub DRM
common.buy 63.98 zł
G_d'S Pee at State'S End! Godspeed You! Black Emperor Audio Winyl Audio
common.buy 163.90 zł
Tokos Gianna Hedderich / Książka Miękka
common.buy 149.36 zł
Vláček a jeho kamarádi / Książka Leporelo
common.buy 50.77 zł
Číňan Henning Mankell / Książka Twarda
common.buy 50.77 zł
Shopkins Cicibiciler - Mutsuz Kurabi / Książka Miękka
common.buy 91.31 zł
Český jazyk pro 3. ročník SOŠ Čechová / Książka Miękka
common.buy 34.70 zł
Postdemokratie Colin Crouch / Książka Miękka
common.buy 47.39 zł
Augustus - Herrscherkult und Divinisierung Andreas Fuhrmanski / Książka Miękka
common.buy 70.02 zł
Treasurers of the Snow Patricia St John / Książka Miękka
common.buy 63.26 zł
La casa de Tomasa Phyllis Root / Książka Miękka
common.buy 97.56 zł
Aguas arriba de mi madre Arnáiz / Książka Miękka
common.buy 90.08 zł
Fiat 850. 1964-1973 Alessandro Sannia / Książka Miękka
common.buy 92.95 zł
Frolla & sfoglia. Teoria e pratica dell'impasto Michel Roux / Książka Miękka
common.buy 92.95 zł
Apprenez ? Booster Votre Productivité: L'Indispensable de l'Entrepreneur (La 25eme Heure) Thomas Gilles / Książka Miękka
common.buy 46.78 zł
Guía de lectura de "Cualquier lugar, cualquier día" Caro Lora / Książka Miękka
common.buy 24.15 zł
Tanie
Mafiánsky gang Sýkorovcov + DVD Gustáv Murín / Książka Twarda
common.buy 61.62 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ć

A Prayer for Inner Peace Allan A Glatthorn / Książka Miękka
common.buy 52.30 zł
History of Market Drayton John Robinson Lee / Książka Miękka
common.buy 74.01 zł
Do Vikings Wear Glasses? Jon Laidlaw / Książka Miękka
common.buy 63.26 zł
Cracked Chessboard Elizabeth Emberton / Książka Miękka
common.buy 79.64 zł
Philip Roth: Nemeses (LOA #237) Philip Roth / Książka Twarda
common.buy 117.01 zł
Benjamin Franklin: His Life as He Wrote It Benjamin Franklin / Książka Miękka
common.buy 136.87 zł
Three Nearsighted Mice Diane Epstein / Książka Miękka
common.buy 56.81 zł
Hollow MYERS CELINA / Książka Twarda
common.buy 87.21 zł
Oxford Handbook of International Criminal Law Darryl Robinson / Książka Miękka
common.buy 274.15 zł
Damnation Peter McLean / Książka Miękka
common.buy 51.59 zł
How To Start Your Own Business Selling Collectible Products Of Australian Cattle Dogs Gail Forsyth / Książka Miękka
common.buy 44.52 zł
Prince Charming Charity L Maness / Książka Miękka
common.buy 44.63 zł
Leisure Marketing HORNER / Książka Twarda
common.buy 1 391.49 zł
Telecommunications Handbook for Transportation Professionals: The Basics of Telecommunications U S Department of Transportation / Książka Miękka
common.buy 75.75 zł
Love and War Warren MacQuarrie / Książka Twarda
common.buy 177.10 zł
Lonely Hearts Cry Anji Nolan / Książka Miękka
common.buy 65.92 zł
Data Governance Act Moritz Hennemann / Książka Twarda
common.buy 772.73 zł
Saint of Lost Things Tish Delaney / E-book Adobe ePub DRM
common.buy 42.68 zł
Raemakers' Cartoons: With Accompanying Notes by Well-Known English Writers Louis Raemaekers / Książka Miękka
common.buy 136.66 zł
History of Mexican Literature Ignacio M. Sanchez Prado / E-book Adobe ePub DRM
common.buy 198.50 zł
Finally Enough Love Madonna / Audio Winyl Audio
common.buy 147.62 zł
American Nation: A History, Vol. 9 Jeremy Schifeling / Audiobook MP3
common.buy 87.73 zł
Media, Crime Aubri F. McDonald / Książka Miękka
common.buy 297.91 zł
Softly Calls the Serengeti Frank Coates / Książka Miękka
common.buy 45.96 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?