phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Static Analysis

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Static Analysis Patrick Cousot
Libristo kód: 01563611
Nakladateľstvo Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis... Celý popis
? points 154 b
61.35 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Pevná
common.buy 25.18 €
Malá noční můra Ondřej Červinka / Brožovaná
common.buy 1.10 €
Perfect (Teacher) Coach Terri Broughton / Pevná
common.buy 14.30 €
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Brožovaná
common.buy 73.54 €
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Pevná
common.buy 413.60 €
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Brožovaná
common.buy 94.30 €
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Brožovaná
common.buy 6.84 €
Advances in Gabor Analysis Hans G. Feichtinger / Pevná
common.buy 120.90 €
Marvelous Land of Oz Frank L. Baum / Brožovaná
common.buy 14.60 €
My Friends and I. (Three Tales.) Edited by Julian Sturgis. Julian Russell Sturgis / Brožovaná
common.buy 23.16 €

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.

Informácie o knihe

Celý názov Static Analysis
Autor Patrick Cousot
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2001
Počet strán 439
EAN 9783540423140
ISBN 3540423141
Libristo kód 01563611
Nakladateľstvo Springer, Berlin
Váha 635
Rozmery 155 x 235 x 23

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 > 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 > Informatika > Umelá inteligencia
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

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