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

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Model Checking Software Susanne Graf
Kod Libristo: 01559203
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Cały opis
? points 142 b
Gwarancja
najlepszej
ceny ▸
254.70 zł
Dostępna u dostawcy Wysyłamy za 10-16 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Zapowiedź
ALTERNATIVAS DE FINANCIACION PARA EMPRESAS DE REDUCIDA DIMEN FANDOS LOPEZ / Książka Książka
common.buy 301.37 zł
Conni & Co 11: Conni, das Kleeblatt und die Pferde am Meer Dagmar Hofeld / E-book Adobe ePub DRM
common.buy 38.27 zł
Świat. Historia rodzinna (tom 2) Montefiore Simon Sebag / Książka Twarda
common.buy 91.92 zł
TOP
Psychológia ako zbraň Tomáš Vepi / Książka Twarda
common.buy 66.23 zł
MYTHOS SANTOS / Książka Książka
common.buy 93.72 zł
Kontrastive Medienlinguistik Roman Opilowski / Książka Miękka
common.buy 250.89 zł
?Quién es mi bebé? EDICIONES / Książka Miękka
common.buy 81.68 zł
METODO LENGUAJE MUSICAL 3 DICTADOS SANCHO / Książka Miękka
common.buy 43.85 zł
Tutto il mondo del pane. 400 pani. 70 ricette. Scuole, tecniche, lieviti madre nei cinque continenti Fulvio Marino / Książka Twarda
common.buy 112.19 zł
Unterhaltsrecht Michael Schwimann / Książka Twarda
common.buy 342.52 zł
Le secret en matière fiscale Pilotin / Książka Miękka
common.buy 204.52 zł
Borderline - Tijuana Connection, 1 DVD William A. Seiter / Wideo DVD
common.buy 59.77 zł
Curiosidades en verso. El cuerpo humano SAGRARIO PINTO / Książka Miękka
common.buy 56.19 zł
Les Fragments Heroiques, Ballet Compose Des Actes d'Ovide Et Julie Fuzelier-L / Książka Miękka
common.buy 63.42 zł
Y Dejo Escapar Sus Ojos Teresa Zatarain / Książka Twarda
common.buy 68.94 zł
La semilla del futuro : la agricultura explicada a los ciudadanos François Dufour / Książka Miękka
common.buy 97.12 zł
Königsblut / Książka Miękka
common.buy 34.15 zł
Correspondance Du Comte de la Forest, Ambassadeur de France En Espagne, 1808-1813. T7 La Forest-A / Książka Miękka
common.buy 101.15 zł
Oeuvres Completes de Guy de Maupassant. Tome 13 Bel-Ami Guy De Maupassant / Książka Miękka
common.buy 144.41 zł
Rafaela McKensey Monika Hoffmann / Książka Miękka
common.buy 33.71 zł
TERRA Erdkunde 3. Ausgabe Niedersachsen Gymnasium / Książka Twarda
common.buy 158.05 zł
Spin-Off der Mercedes-Benz Lenkungssparte Mark S. Walcher / Książka Miękka
common.buy 186.06 zł
Opfer als Tater. Wechselbeziehungen zwischen Opfern und Tatern in La muerte y la doncella Janike Kyritz / Książka Miękka
common.buy 62.65 zł
Histoire de France 1715-1723 Volume 17 (of 19) Jules Michelet / Książka Miękka
common.buy 70.24 zł

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

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 Susanne Graf, Laurent Mounier
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 314
EAN 9783540213147
ISBN 3540213147
Kod Libristo 01559203
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 493
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ć

Frontiers in Algorithms D. T. Lee / Książka Miękka
common.buy 247.88 zł
Classic Operating Systems Per Brinch Hansen / Książka Twarda
common.buy 447.39 zł
Rayne the Raindrop Marlo Nix / Książka Miękka
common.buy 66.83 zł
TOP
First Steps: Caro-Kann Defence Andrew Martin / Książka Miękka
common.buy 95.33 zł
Mobile Communications Handbook Jerry D. Gibson / Książka Miękka
common.buy 552.27 zł
Cozy Camping (A Lexie Starr Mystery, Book 6) Jeanne Glidewell / Książka Twarda
common.buy 116.01 zł
Patología celular Norman F. Cheville / Książka Miękka
common.buy 187.66 zł
NOVELS, VOLUME 9 IVAN SERGE TURGENEV / Książka Twarda
common.buy 145.79 zł
Critical Readings on Food in East Asia (3 Vols. Set) K. J. Cwiertka / Książka Twarda
common.buy 4 968.42 zł
A Time to Laugh [With Bag] Ben Alex / Książka Twarda
common.buy 60.28 zł
Rick Riordan Presents: Serwa Boateng's Guide to Witchcraft and Mayhem Brown / Książka Miękka
common.buy 39.53 zł
How's the Weather in Fall? Rebecca Felix / Książka Miękka
common.buy 52.28 zł
A History of Westbury, Long Island Richard Panchyk / Książka Twarda
common.buy 110.08 zł
Standard English Grammar William Fewsmith / Książka Twarda
common.buy 141.47 zł
Stuck in the Passing Lane Jed Ringel / Książka Miękka
common.buy 55.89 zł
Digital News and HIV Criminalization Colin Hastings / Książka Miękka
common.buy 102.16 zł
Scruffy Goes to the Vet Stephen Rickard / Książka Miękka
common.buy 25.98 zł
TOP
The Power of the Pussy Kara King / Książka Miękka
common.buy 66.13 zł
Entrepreneurship in the Arab World EL KHAZINDAR BUSINES / Książka Twarda
common.buy 153.14 zł
Advent Encounter MATT MESSNER / Książka Twarda
common.buy 88.31 zł
Eugenics and Other Evils G. K. Chesterton / Książka Miękka
common.buy 76.36 zł
Simply Circles Bayer Philip Bayer / Książka Miękka
common.buy 83.89 zł
Skim, Dive, Surface Jenae Cohn / Książka Miękka
common.buy 108.98 zł
TOP
My First 100 Technology Words Chris Ferrie / Książka Leporelo
common.buy 27.69 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?