Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

25 Years of Model Checking

Name: 25 Years of Model Checking
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567994
Price: 36.23 EUR
Availability: InStock
Author: Orna Grumberg
ISBN: 9783540698494

History, Achievements, Perspectives

Orna Grumberg

Helmut Veith

Език

Английски език

Книга С меки корици

Код Либристо: 01567994

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2008

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, feature... Цялото описание

Код Либристо: 01567994

88 b

36.23 €

70.86 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Camden Market - Ausgabe 2005 Otfried Börner

С твърди корици

44.86 € 87.74 лв

Competences 2eme edition Michèle Barféty

С меки корици

35.51 € 69.44 лв

Información que tienen las alumnas de segundo de la ESO de un colegio de Gran Canaria sobre el VPH y Guerra Santana

С меки корици

12.66 € 24.76 лв

Revue des cours littéraires de la France et de l'étranger Odysse Barot

С меки корици

83.99 € 164.27 лв

Aggie Morton reine du mystère MARTHE JOCELYN

С меки корици

21.91 € 42.85 лв

Zebra 2 Sonja Kargl

Лист

21.50 € 42.05 лв

Dívka ze země Venku 8 Nagabe

С меки корици

9.40 € 18.39 лв

A Sárkány felemelkedése George R. R. Martin

С твърди корици

37.99 € 74.29 лв

TERRA Erdkunde 1. Ausgabe Hessen Gymnasium

С твърди корици

38.50 € 75.31 лв

Analog + digital: Rechtschreibung an Stationen 3/4 Martina Knipp

binding.

29.04 € 56.81 лв

O FILHO SECRETO DO GREGO; UM AMOR DE SEMPRE RIVERS

Книга

7.28 € 14.24 лв

All that's left in the world. Ediz. italiana Erik J. Brown

С твърди корици

20.31 € 39.72 лв

Heine und die Nachwelt Geschichte seiner Wirkung in den deutschsprachigen Ländern Dietmar Goltschnigg

С твърди корици

96.03 € 187.83 лв

Archivio Per Lo Studio Delle Tradizioni Popolari, Volume 3 Giuseppe Pitr

С меки корици

30.70 € 60.04 лв

4. Jahrgang, Heft 1/2009. Übergang Schule - Hochschule

С меки корици

8.83 € 17.28 лв

Auswirkungen der Finanzkrise auf das Anlegerverhalten am Zertifikatemarkt Dietmar Pongratz

С меки корици

45.27 € 88.55 лв

Lambacher Schweizer Mathematik 8 - G8. Ausgabe Hessen

Лист

29.04 € 56.81 лв

Krabat von Otfried Preußler: Lektüreschlüssel mit Inhaltsangabe, Interpretation, Prüfungsaufgaben mit Lösungen, Lernglossar. (Reclam Lektüreschlüssel Eva-Maria Scholz

С меки корици

6.66 € 13.03 лв

Das Geheimnis der transzendenten Zahlen Fridtjof Toenniessen

С меки корици

35.71 € 69.85 лв

96 Hours - Taken 2, Extended Cut, 1 Blu-ray Olivier Megaton

Blu-ray

14.00 € 27.39 лв

Dissertation Sur l'Application Du Vesicatoire Sur La Tete Dans Quelques Cas de Paralysie FOURNIER-L-G-S

С меки корици

12.71 € 24.86 лв

Komplexe Systeme lesen Georg Muller-Christ

С твърди корици

70.65 € 138.19 лв

Nicht perfekt aber verdammt nah dran Anke Obermeier

С меки корици

9.14 € 17.88 лв

A Deeper Understanding The War On Drugs

Аудио компактдиск

13.74 € 26.88 лв

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие 25 Years of Model Checking

Автор Orna Grumberg, Helmut Veith

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 2008

Брой страници 234

Баркод 9783540698494

ISBN 3540698493

Код Либристо 01567994

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Тегло 370

Размери 156 x 235 x 15

Може би ще Ви заинтересува

Database and Expert Systems Applications Kim V. Andersen

С меки корици

119.55 € 233.82 лв

Aeronautical Information Manual Federal Aviation Administration

С меки корици

26.87 € 52.56 лв

A Short History of Tractors in Ukrainian Marina Lewycka

С меки корици

14.88 € 29.11 лв

Afraid Jo Gibson

С меки корици

13.95 € 27.29 лв

Tap Tap Jan Burchett

С меки корици

8.16 € 15.96 лв

How to Make a Good Living in the Watch and Clock Repair Business Brad Isochronos

С меки корици

10.33 € 20.21 лв

The Doodle Comic Book Diary for Boys Art Journaling Sketchbooks

С меки корици

15.04 € 29.41 лв

Plain People TALTON WEBER

С меки корици

21.29 € 41.64 лв

And the Stars Were Burning Brightly DANIELLE JAWANDO

С меки корици

9.30 € 18.19 лв

Auditory Trauma, Protection, and Repair Jochen Schacht

С твърди корици

154.24 € 301.66 лв

American English Phonetics and Pronunciation Practice Carley

С меки корици

57.58 € 112.61 лв

Psychoanalysis and Art Donald Meltzer

С твърди корици

251.57 € 492.02 лв

Building Blunders: Learning from Bad Ideas Amie Jane Leavitt

С меки корици

9.45 € 18.49 лв

The Blood-Stained Benders; More Evil Than You Know: The Dreadful Deeds of the Bender Family Charles M. Province

С меки корици

15.09 € 29.51 лв

Bad, Dad, and Dangerous Bru Baker

С меки корици

15.55 € 30.42 лв

Just Haven't Met You Yet Sophie Cousens

С меки корици

8.63 € 16.87 лв

Neglected Arabia; no. 102 (july - sept.) Reformed Church in America Arabian M

С меки корици

14.57 € 28.50 лв

Transforming Research and Higher Education Institutions in the Next 75 Years: Proceedings of the 2022 Endless Frontier Symposium Policy And Global Affairs

С меки корици

25.58 € 50.03 лв