Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2012
This book constitutes the refereed proceedings of the 13th International Conference on Verification,... Celý popis
? points 136 b
1 355 Kč
Skladem u dodavatele v malém množství Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Computer-Numerik 2 Christoph W. Überhuber / Kniha Brožovaná
common.buy 1 187 Kč
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Kniha Brožovaná
common.buy 732 Kč
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A / Kniha Brožovaná
common.buy 315 Kč
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Kniha Pevná
common.buy 239 Kč
Sono io il piu forte! RAMOS MARIO / Kniha Pevná
common.buy 290 Kč
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Kniha binding.
common.buy 368 Kč
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Kniha Pevná
common.buy 136 Kč
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Kniha Pevná
common.buy 855 Kč
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Kniha Brožovaná
common.buy 249 Kč
VALENCIA 2018 PASCUAL IZQUIERDO / Kniha Brožovaná
common.buy 494 Kč
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Kniha Brožovaná
common.buy 515 Kč
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Kniha Pevná
common.buy 790 Kč
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Kniha Brožovaná
common.buy 358 Kč
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Kniha Brožovaná
common.buy 650 Kč
Die CSU Alf Mintzel / Kniha Brožovaná
common.buy 1 214 Kč
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Kniha Brožovaná
common.buy 469 Kč
Westfassade des Domes in Siena Silvia Katzenmaier / Kniha Brožovaná
common.buy 369 Kč
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Kniha Brožovaná
common.buy 1 076 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification, Model Checking, and Abstract Interpretation
Autor Viktor Kuncak, Andrey Rybalchenko
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 457
EAN 9783642279393
ISBN 3642279392
Libristo kód 01660462
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 709
Rozměry 155 x 235 x 28

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Secret of Chimneys / Kniha Brožovaná
common.buy 446 Kč
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Kniha Pevná
common.buy 1 350 Kč
The Art of Painting in Oil John Smith / Kniha Brožovaná
common.buy 348 Kč
Magnus and the Night Lion Sanne Dufft / Kniha Brožovaná
common.buy 197 Kč
Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts / Kniha Brožovaná
common.buy 181 Kč
Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development HENRY MADGE / Kniha Brožovaná
common.buy 512 Kč
Tender Persuasion Jean Hackensmith / Kniha Brožovaná
common.buy 340 Kč
Royal Merchant; An Opera Fletcher / Kniha Pevná
common.buy 685 Kč
Mills Mill Pals Pamela Chaffin Foster / Kniha Brožovaná
common.buy 526 Kč
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 668 Kč
Knowledge of Heaven and Earth, Book Two Mick Richfield / Kniha Brožovaná
common.buy 492 Kč
Soul in the Brain Michael R. Trimble / Kniha Pevná
common.buy 1 041 Kč
How To Survive Peer Review Elizabeth Wager / Kniha Brožovaná
common.buy 774 Kč
Power System Economics - Designing Markets for Electricity Stoft / Kniha Brožovaná
common.buy 2 296 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?