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

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Język AngielskiAngielski
Książka Miękka
Książka SPIN Model Checking and Software Verification Klaus Havelund
Kod Libristo: 01563035
Wydawnictwo Springer, Berlin, listopad 1999
This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, he... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Sanaci Dami Alvarez / Książka Miękka
common.buy 43.75 zł
Los Compás y el diamantito legendario EL TROLLINO Y TIMBA VK MIKECRACK / Książka Twarda
common.buy 69.34 zł
Sintesi per via umida di pellicole sottili di ossido di zinco e di nanostrutture a forma di gorlo Ms. Richa Shukla / Książka Miękka
common.buy 166.20 zł
Soziale Verguenstigung fuer nichterwerbstaetige Unionsbuerger als Grundsatz der Europaeischen Union Herbst Nico Benedict Herbst / E-book Adobe ePub DRM
common.buy 245.99 zł
Konec sezóny na koupališti Úštěk Veronika Bendová / Książka Karta
common.buy 52.68 zł
COCKER SPANIEL COMME ANIMAL DE COMPAGNIE RAIMUND PORCHER / Książka Miękka
common.buy 67.14 zł
T'choupi Thierry Courtin / Książka Twarda
common.buy 39.94 zł
L'EDUCATION DU CHIHUAHUA - Edition 2020 enrichie Carre Mova / Książka Miękka
common.buy 81.59 zł
Recueil Des Eloges Historiques Lus Dans Les Seances Publiques de l'Academie Des Sciences FLOURENS-P / Książka Miękka
common.buy 128.06 zł
100 fiocchi di neve a uncinetto Caitlin Sainio / Książka Miękka
common.buy 89.12 zł
Tanri Yoktur Allahtan Baska Reza Aslan / Książka Miękka
common.buy 60.11 zł
E-Democracy Martin Wolf / Książka Miękka
common.buy 254.22 zł
Der Eindringling / L'intrus. L'Intrus Jean-Luc Nancy / Książka Miękka
common.buy 31.20 zł
Kopf- versus Bauchentscheidungen bei Jungeren und AElteren Kathrin Schütz / Książka Miękka
common.buy 144.02 zł
Prüfungsvorbereitung Werkzeugmechaniker/-in. Tl.1 Peter Schierbock / Książka Miękka
common.buy 112.60 zł

This book constitutes the refereed proceedings of the 7th International SPIN Workshop, SPIN 2000, held in Stanford, California in August/September 2000. This book is devoted to automata-based explicit-state model checking technologies for the analysis and verification of asynchronous concurrent and distributed systems. The SPIN model checker is one of the most powerful systems of this kind and has attracted a large user community. The 17 revised full papers presented together with three tutorial contributions were carefully reviewed and selected from 31 submissions. The book competently presents the state of the art in SPIN model checking.

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 SPIN Model Checking and Software Verification
Autor Klaus Havelund, John Penix, Willem Visser
Język Angielski
Oprawa Książka - Miękka
Data wydania 2000
Liczba stron 346
EAN 9783540410300
ISBN 3540410309
Kod Libristo 01563035
Wydawnictwo Springer, Berlin
Waga 508
Wymiary 155 x 235 x 18

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ć

The Balkans: A History of Bulgaria and Serbia Nevill Forbes / Książka Miękka
common.buy 32.41 zł
Nero And Actea: A Tragedy (1891) Eric MacKay / Książka Miękka
common.buy 79.18 zł
A Journey Throughout Ireland During The Spring, Summer And Autumn Of 1834 Henry David Inglis / Książka Miękka
common.buy 139.10 zł
The Cure Leah O'Neil / Książka Miękka
common.buy 62.92 zł
Dictionary of law English - Hebrew / Hebrew - English Carsten Rasch / Książka Miękka
common.buy 38.03 zł
The Scope of Immunology Sadiq Mareai / Książka Miękka
common.buy 136.09 zł
Letters of the Right Honourable Lady Jane Douglas; With Several Other Important Pieces of Private Correspondence ... Illustrated with Notes. Together JANE STEWART / Książka Twarda
common.buy 133.98 zł
The Life And Letters Of John Collingwood Bruce (1905) John Collingwood Bruce / Książka Miękka
common.buy 162.18 zł
The Year with Matthew: Good News Heard on Sundays To Be Lived Throughout the Weeks Robert Link / Książka Miękka
common.buy 26.59 zł
Micro-Tomographic Atlas of the Mouse Skeleton Itai A. Bab / Książka Miękka
common.buy 871.89 zł
200 Subtraction Worksheets with 4-Digit Minuends, 3-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 81.79 zł
Bureau of American Ethnology Bulletin 76 Archeological Investigations Gerard Fowke / Książka Miękka
common.buy 43.75 zł
Masonry in Compression A. T. Vermeltfoort / Książka Miękka
common.buy 338.63 zł
De Doctrina Christiana Saint Augustine / Książka Twarda
common.buy 1 544.85 zł
History Education and the Construction of National Identities Mario Carretero / Książka Twarda
common.buy 535.05 zł
Integer Partitions George E. AndrewsKimmo Eriksson / Książka Twarda
common.buy 838.76 zł
TOP
Over, Under, Through: Obstacle Training for Horses Vanessa Bee / Książka Miękka
common.buy 106.88 zł
The Healing Cookbook: Nourishing Plant-Based Recipes to Help You Feel Better and Stay Well / Książka Twarda
common.buy 76.87 zł
Vow Debbie Howells / Audiobook MP3
common.buy 63.92 zł
Hymns And Sacred Songs (1832) Alexander Hume / Książka Miękka
common.buy 94.03 zł
Crazy Days with Pickles Rebekah Molander / Książka Miękka
common.buy 81.99 zł
Seabees at Gulfport Gina L. Nichols / Książka Twarda
common.buy 104.27 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?