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.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € 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 Computer Aided Verification Rajeev Alur

Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, Proceedings

Thomas Henzinger

Jazyk

Angličtina

Kniha Brožovaná

Kniha Computer Aided Verification Rajeev Alur

Libristo kód: 05274597

Nakladateľstvo Springer, Berlin, november 1998

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Celý popis

Libristo kód: 05274597

?

points

125 b

51.59 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Sobre la salvación del alma Bernard Lievegoed

/

Brožovaná

15.54 €

Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung

/

Brožovaná

24.32 €

Huhner-Malbuch 3 & 4 Nick Snels

/

Brožovaná

16.85 €

Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang

/

Plagát

17.86 €

Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen

/

Brožovaná

33.41 €

Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck

/

Brožovaná

16.15 €

Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye

/

Brožovaná

29.78 €

L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P

/

Brožovaná

26.85 €

Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo

/

Brožovaná

25.03 €

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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 Computer Aided Verification

Autor Rajeev Alur, Thomas Henzinger

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 1999

Počet strán 479

EAN 9783540614746

ISBN 3540614745

Libristo kód 05274597

Nakladateľstvo Springer, Berlin

Váha 630

Rozmery 156 x 234 x 25

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach

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 > Teória algoritmov

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

Výpočtové a informačné technológie > Počítačový hardvér

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ť

Easy Guitar Jack Johnson

/

Brožovaná

20.89 €

Urban Development in India Pablo S. Bose

/

Pevná

135.19 €

Bread and Ale for the Brethren Philip Slavin

/

Brožovaná

39.17 €

Indiana's Ohio River Scenic Byway Leslie Townsend

/

Brožovaná

19.58 €

Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker

/

Brožovaná

16.55 €

Philip Larkin and His Audiences G Steinberg

/

Brožovaná

53.20 €

Guide to the American Revolutionary War in Canada and New England Desmarais Norman

/

Brožovaná

21.09 €

Beyond the Garden Gate Marietta Loehrlein

/

Brožovaná

14.02 €

Don't Call It Night Amos Oz

/

Brožovaná

13.82 €

Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley

/

Brožovaná

11.50 €

Keto Meal Prep Mark Evans

/

Pevná

25.03 €

Gene Delivery Yashwant Pathak

/

Pevná

199.40 €

Quitter: Closing the Gap Between Your Day Job and Your Dream Job

/

Brožovaná

12.71 €

Making Miniature Period Furniture for Dolls' Houses Angela Law

/

Brožovaná

22.81 €

Cryopreservation in Assisted Reproduction Ashok Agarwal

/

Brožovaná

140.74 €

The Rip 2026 Rian Marlowe

/

Brožovaná

14.02 €

Betty Zane Zane Grey

/

Brožovaná

17.46 €

Six Key Approaches to Counselling and Therapy Richard Nelson-Jones

/

Pevná

119.74 €

Reformation in Germany C. Scott Dixon

/

Pevná

127.41 €

Taking Stock John David Stewart

/

Brožovaná

36.64 €

It'll All Be Wrong on the Night Reginald Frary

/

Brožovaná

11.00 €

Role of the International Community in Domestic Politics Tsitsi Muvunzi

/

Brožovaná

25.03 €

Critical Introduction to Fictionalism KOON FREDRICK

/

Brožovaná

41.59 €

African Women's Report United Nations: Economic Commission for Africa

/

Brožovaná

45.33 €

Knižný radca Libroamiko

Ahoj, som Libroamiko, môžem pomôcť?