Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561845
Price: 247.9 PLN
Availability: InStock
Author: Antti Valmari
ISBN: 9783540331025

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Antti Valmari

Język

Angielski

Książka Miękka

Kod Libristo: 01561845

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2006

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Cały opis

Kod Libristo: 01561845

142 b

Gwarancja
najlepszej
ceny ▸

247.90 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain

Miękka

77.78 zł

Mit Vollgas Weiter Die Jungen Klostertaler

CD Audio

75.16 zł

Rupáner-konyha Rupáner-Gallé Margó

Twarda

61.62 zł

Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová

binding.

38.03 zł

Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft

Miękka

106.18 zł

Fundamentos teóricos y jurídicos de la ordenación del territorio

Miękka

102.27 zł

Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries

Miękka

70.05 zł

XXX xxx

Miękka

33.11 zł

Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek

Karta

63.22 zł

Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold

Miękka

154.16 zł

Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh

Miękka

68.64 zł

Planner Story Pavel Kosatík

Twarda

4.00 zł

Celulas-Tronco Capuano Vanessa Capuano

Miękka

177.44 zł

Corrales: Guia de Servicios Diego Molina Ruiz

Miękka

26.29 zł

La Mort Comme Effet Secondaire Shua

Miękka

102.16 zł

Grundlagen des Usability-Engineering Marcel Thum

Miękka

68.64 zł

SPUREN - Die Opfer des NSU

DVD

80.08 zł

STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield

Miękka

81.79 zł

Decirte adiós con un te quiero SILVIA CARPALLO

Miękka

85.80 zł

LED ZEPPELIN MICK WALL

Miękka

129.97 zł

Abraham l'Hebreu - Ministre de Dieu David Daniel Agou

Miękka

101.06 zł

Schäden an polymeren Beschichtungen. Robert Engelfried

Twarda

184.47 zł

Vengeful - Die Rache ist mein V. E. Schwab

Miękka

66.43 zł

Grossbuchstaben Geschichten 2 Sara Quast

Miękka

23.98 zł

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

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 Antti Valmari

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2006

Liczba stron 308

EAN 9783540331025

ISBN 3540331026

Kod Libristo 01561845

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 1010

Wymiary 155 x 19 x 19

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ć

Thirteenth Bullet Cotton Smith

Miękka

31.20 zł

Riveted Meljean Brook

Miękka

86.41 zł

Cadogan Guide Cairo, Luxor and Aswan Michael Haag

Miękka

84.80 zł

Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan

Miękka

57.50 zł

Nuclear Medicine Dibya Prakash

Miękka

214.27 zł

International Relations Theory Michael Haas

Twarda

514.38 zł

Spanish Notebook Christopher Buckley

Miękka

66.73 zł

Wages of Sin Kaite Welsh

Miękka

59.01 zł

Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt

Miękka

43.75 zł

Handbook of Macroeconomics J B Taylor

Twarda

595.47 zł

Picasso Anna Coliva

Twarda

204.24 zł

Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing

Miękka

28.59 zł

Dancing with Sophia Brian Schroeder

Miękka

191.09 zł

Beginner's Guide to Chinese Brush Painting Susan Self

Twarda

45.16 zł

Once Upon a Winter Tennant Tilly Tennant

Miękka

49.87 zł

Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education

Miękka

32.01 zł