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

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Thomas Ball
Kod Libristo: 01562615
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2003
This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Mode... 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

Joe Kennedy - Le pouvoir et la malédiction Georges Ayache / Książka Miękka
common.buy 124.05 zł
AERONAUTIQUE NAVALE EN ALGERIE (1954-1962) ROBIN / Książka Twarda
common.buy 229.53 zł
¡SIN PASAPORTE! BARGOS CUCO / Książka Twarda
common.buy 90.42 zł
Analyse économique Inna Bova / Książka Miękka
common.buy 136.09 zł
LA MAGIA DE LA COMUNICACION SAENZ DE URTURI / Książka Miękka
common.buy 116.32 zł
La Legende du Pere Noel Asso / Audiobook MP3
common.buy 16.85 zł
Harry Potter 3: Harry Potter a väzeň z Azkabanu, 6., revidované vydanie (farebná oriezka) Joanne K. Rowling / Książka Twarda
common.buy 78.78 zł
Made in America: Mi Historia Sam Walton / Książka Miękka
common.buy 60.91 zł
Lucerna 19. května 1978 Švehlík & Amalgam / Audio CD Audio
common.buy 30.50 zł
Blick auf den Topkapi Palast (Puzzle) Rico Ködder / Gra/Zabawka Gra
common.buy 145.62 zł
Impertinentes: El desgarro de pensar Fullat i Genís / Książka Miękka
common.buy 148.23 zł
Miguel Ángel : escultor, pintor y arquitecto Károly Tolnay / Książka Miękka
common.buy 254.52 zł
N'Oublie Pas Mes Petits Souliers Joseph Connolly / Książka Miękka
common.buy 48.67 zł
Diffusion Imprim e de la Chanson Fran aise En Italie Au Xvie Si cle Tome II Marinella Laini / Książka Miękka
common.buy 335.82 zł
Kinderwagen- & Tragetouren um und in München Elisabeth Göllner-Kampel / Książka Miękka
common.buy 60.91 zł
Sozialpolitisches Handbuch Heinrich Lux / Książka Miękka
common.buy 151.14 zł
Lebensbilder I Honoré de Balzac / Książka Twarda
common.buy 113.51 zł
Mensch sein, Mensch bleiben, Mensch verstehen! Mikel Marz / Książka Miękka
common.buy 64.83 zł
Entwicklung der Biographik vom 18. Jh. bis heute am Beispiel ausgewahlter Mozartbiographien Katja Schulz / Książka Miękka
common.buy 68.64 zł

This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as  an ICSE 2003 satellite workshop.§The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book  presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

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 Thomas Ball, Sriram K. Rajamani
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 241
EAN 9783540401179
ISBN 3540401172
Kod Libristo 01562615
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 400
Wymiary 155 x 233 x 15

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) > Technologia informacyjna (IT) – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Aplikacje biznesowe
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ć

Inflation and Unemployment in a Monetary Union Michael Carlberg / Książka Twarda
common.buy 485.47 zł
Handbook On Family And Community Engagement Marilyn Murphy / Książka Miękka
common.buy 233.35 zł
Teacher Guide Year 6 Collins Uk / Książka Pierścieniowa
common.buy 572.39 zł
Glencoe Language Arts, Grade 7 / Książka Twarda
common.buy 480.15 zł
Vampires, Race, and Transnational Hollywoods HUDSON DALE / Książka Twarda
common.buy 604.10 zł
Black Veins (Anniversary Edition) Ashia Monet / Książka Miękka
common.buy 55.19 zł
Fuck Stick Swear Word Coloring Book for Adults: swear word coloring book for adults stress relieving designs 8.5" X 11" Mandala Designs 54 Pages Mandala Swearing Books Publishing Co / Książka Miękka
common.buy 32.41 zł
A Statement of the Facts and Circumstances Connected with the Late Trial of Dr. A.A. Muller, Late Rector of Trinity Church, Clarksville, Tenn., by Whi MULLER / Książka Miękka
common.buy 50.57 zł
Taking Flight Melinda Sutherland / Książka Miękka
common.buy 59.01 zł
7 Steps To Becoming A Successful eBay Power Seller Demarious Bowens / Książka Miękka
common.buy 36.22 zł
Population Change in the United States Michael E. Cline / Książka Miękka
common.buy 218.99 zł
Machinery's Handbook Toolbox Erik Oberg / Książka Twarda
common.buy 631.00 zł
It's Never The End: Past Lives Present Destiny Alex Raco / Książka Miękka
common.buy 41.84 zł
Sonnets and Epigrams on Sacred Subjects Thomas Edward Bridgett / Książka Miękka
common.buy 53.39 zł
British Navy Thomas Brassey / Książka Miękka
common.buy 185.87 zł
Zapowiedź
Anisotropic Nanoparticles: Volume 635 C. D. KeatingL. A. LyonP. SearsonS. J. Stranick / Książka Twarda
common.buy 112.60 zł
Physiocracy, Antiphysiocracy and Pfeiffer Jürgen Backhaus / Książka Miękka
common.buy 436.59 zł
Dutch Wars of Independence Marjolein t´Hart / Książka Miękka
common.buy 288.05 zł
TOP
Harry Potter: Patronus Mini Projector Set RUNNING PRESS / Gra/Zabawka Zabawka
common.buy 50.07 zł
Contentious Politics in the Middle East Fawaz A. Gerges / Książka Twarda
common.buy 485.47 zł
TOP
Watchmaking George Daniels / Książka Twarda
common.buy 261.95 zł
Concise Guide to Value Investing Brian McNiven / Książka Miękka
common.buy 107.58 zł
Frauds Exposed Anthony Comstock / Książka Miękka
common.buy 114.21 zł
30 Innovations of the Russian Engineer Anatoly Rozenblat / Książka Miękka
common.buy 84.10 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?