Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

phone

Kontakt

phone

Pomoc

Môj účet

▸ Prázdny :-(

0

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Kniha Verification, Model Checking, and Abstract Interpretation Bernhard Steffen

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Bernhard Steffen

Jazyk

Angličtina

Kniha Brožovaná

Kniha Verification, Model Checking, and Abstract Interpretation Bernhard Steffen

Libristo kód: 01558944

Nakladateľstvo Springer, Berlin, november 2003

This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Celý popis

Libristo kód: 01558944

?

points

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė

/

Brožovaná

28.15 €

lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza

/

Brožovaná

28.65 €

Vieš, ako veľmi ťa ľúbim? Alma Grossová

/

Pevná

9.71 €

Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C

/

Brožovaná

14.78 €

Koran Hermann-Josef Frisch

/

Brožovaná

12.65 €

Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES

/

Brožovaná

17.51 €

Sóvárgás Tracy Wolff

/

Pevná

15.69 €

La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo

/

Brožovaná

21.56 €

La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo

/

Brožovaná

161.43 €

Stvorenie hriechu Michal Kučerka

/

Brožovaná

6.37 €

Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca

/

Brožovaná

6.78 €

In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner

/

Brožovaná

9.51 €

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Ewa Kasp

Ewa Kasp

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification, Model Checking, and Abstract Interpretation

Autor Bernhard Steffen, Giorgio Levi

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2004

Počet strán 325

EAN 9783540208037

ISBN 3540208038

Libristo kód 01558944

Nakladateľstvo Springer, Berlin

Váha 480

Rozmery 156 x 234 x 18

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Cybersecurity Evan Jones

/

Brožovaná

47.29 €

Magical Rescue Vets: Suki the Sea Dragon Morgan Huff

/

Brožovaná

5.56 €

Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams

/

Pevná

25.61 €

A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane

/

Brožovaná

19.33 €

THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS

/

Pevná

45.87 €

Truths of Spiritualism Wilson Ebenezer V. Wilson

/

Brožovaná

26.83 €

The Things We Do For Love: Luke & Shelly Anita Louise

/

Brožovaná

12.35 €

Unlevel Crossings Michael O'Leary

/

Brožovaná

6.88 €

Letters from Dollar the Contributor Bunny McCollonough Ceili

/

Brožovaná

8.09 €

Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius

/

Brožovaná

18.83 €

Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon

/

Brožovaná

51.75 €

NRSV Reference Bible, NR560:X BIBLE

/

Pevná

20.25 €

30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem

/

Brožovaná

7.28 €

Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari

/

Brožovaná

13.26 €

History of the Roman Empire John Bagnell Bury

/

Brožovaná

36.65 €

British India and Victorian Literary Culture NI FHLATHUIN MAIRE

/

Brožovaná

37.16 €

Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan

/

Brožovaná

103.10 €

Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary

/

Pevná

51.75 €

Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh

/

Brožovaná

18.42 €

Self-Determination and Secession in International Law Christian Walter

/

Pevná

200.83 €

History, Politics, and the Novel Dominick LaCapra

/

Brožovaná

49.31 €

In Subordination Mary Kinnear

/

Brožovaná

44.55 €

Physics of High Power Laser Matter Interactions H. Takabe

/

Pevná

160.52 €

Factors Affecting Calf Crop Michael J. Fields

/

Pevná

304.34 €