Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
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
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Viktor Kuncak
Libristo kód: 01660462
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2012
This book constitutes the refereed proceedings of the 13th International Conference on Verification,... Celý popis
? points 139 b
57.22 €
Skladom u dodávateľa v malom množstve Odosielame za 9-13 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Computer-Numerik 2 Christoph W. Überhuber / Kniha Brožovaná
common.buy 51.59 €
Untersuchungen ber Aminos uren, Polypeptide Und Prote ne (1899-1906) Emil Fischer / Kniha Brožovaná
common.buy 52.79 €
OTZEN Olaf, Eclipse & autres miniatures Olaf / Kniha Brožovaná
common.buy 12.46 €
Intimidades en Soledad: Todos en el recuerdo, nadie por nombrar Manuel Jigato Rubio / Kniha Brožovaná
common.buy 9.95 €
101 Ausreden Handbuch für Tennisspieler: Die besten Sprüche, verrücktesten Erklärungen & witzigsten Ausreden vom Court | Das Geschenkbuch fürs Tennis Johan Netz / Kniha Brožovaná
common.buy 12.56 €
Manual de Derecho y sociedad en America Latina Rachel Sieder / E-kniha Adobe ePub DRM
common.buy 29.47 €
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Kniha Brožovaná
common.buy 31.97 €
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A / Kniha Brožovaná
common.buy 13.27 €
Waffen-SS Historia / Audiokniha MP3
common.buy 5.52 €
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Kniha Pevná
common.buy 37.12 €
Sono io il piu forte! RAMOS MARIO / Kniha Pevná
common.buy 11.56 €
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Kniha Pevná
common.buy 4.92 €
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Kniha binding.
common.buy 14.17 €
KPop Demon Hunters - Pour les fans ! / Kniha Pevná
common.buy 9.04 €
Catalunya: 50 excursions a cascades i salts d'aigua JOAN DE DEU PRATS PIJOAN / Kniha Pevná
common.buy 27.75 €
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Kniha Brožovaná
common.buy 14.57 €
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Kniha Brožovaná
common.buy 10.85 €
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Kniha Brožovaná
common.buy 46.96 €
Westfassade des Domes in Siena Silvia Katzenmaier / Kniha Brožovaná
common.buy 16.08 €
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Kniha Brožovaná
common.buy 20.42 €
Die CSU Alf Mintzel / Kniha Brožovaná
common.buy 52.79 €
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Kniha Brožovaná
common.buy 28.25 €
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Kniha Pevná
common.buy 9.85 €
Geschichtsbilder Und Ihre Museale Praesentation Stefan Dyroff / Kniha Brožovaná
common.buy 44.66 €

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
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 Viktor Kuncak, Andrey Rybalchenko
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 457
EAN 9783642279393
ISBN 3642279392
Libristo kód 01660462
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 709
Rozmery 155 x 235 x 28

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
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 > Teória algoritmov
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ť

Secret of Chimneys / Kniha Brožovaná
common.buy 18.80 €
Royal Merchant; An Opera Fletcher / Kniha Pevná
common.buy 28.86 €
Historical Eclipses: Being The Halley Lecture Delivered May, 1921 John Knight Fotheringham / Kniha Brožovaná
common.buy 15.98 €
Sustainable Water Management and Wetland Restoration Strategies in Northern China Stefan Zerbe / Kniha Brožovaná
common.buy 33.48 €
Gothic - Grayscale Edition Coloring Book Selina Fenech / Kniha Brožovaná
common.buy 10.55 €
Bright Ideas: Level 5: Teacher's Pack Katherine Bilsborough / Kniha Brožovaná
common.buy 30.77 €
The Art of Painting in Oil John Smith / Kniha Brožovaná
common.buy 15.18 €
Magnus and the Night Lion Sanne Dufft / Kniha Brožovaná
common.buy 8.64 €
Tender Persuasion Jean Hackensmith / Kniha Brožovaná
common.buy 14.37 €
Cup of Youth Silas Weir Mitchell / Kniha Brožovaná
common.buy 12.56 €
Studio Lighting for Product Photography Eastman Kodak Company / Kniha Brožovaná
common.buy 18.00 €
Mozambique Maggie Richard Alun Jones / Kniha Brožovaná
common.buy 23.02 €
Mills Mill Pals Pamela Chaffin Foster / Kniha Brožovaná
common.buy 20.51 €
Knowledge of Heaven and Earth, Book Two Mick Richfield / Kniha Brožovaná
common.buy 22.52 €
Fire Sebastian Junger / Kniha Brožovaná
common.buy 14.98 €
Guardians of the Community Kanwal Khokhar / Kniha Pevná
common.buy 27.15 €
Power System Economics - Designing Markets for Electricity Stoft / Kniha Brožovaná
common.buy 96.84 €
How To Survive Peer Review Elizabeth Wager / Kniha Brožovaná
common.buy 31.37 €
Select Works of Antony Van Leeuwenhoek, Containing His Microscopical Discoveries in Many of the Works of Nature. Translated from the Dutch and Latin E Antoni van Leeuwenhoek / Kniha Brožovaná
common.buy 26.64 €
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Kniha Pevná
common.buy 57.22 €
Soul in the Brain Michael R. Trimble / Kniha Pevná
common.buy 45.05 €
Interdependenz Von Zivilrecht Und Sozialrecht Nach Der Ehescheidung Mark Grohmann / Kniha Brožovaná
common.buy 73.81 €
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Kniha Pevná
common.buy 32.17 €
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Kniha Brožovaná
common.buy 21.01 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?