Kód: 05274747
Static Analysis
Autor Pascal Van Hentenryck
This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 424
Nakladatelství: Springer, Berlin, 1997
- Více informací o knize
Mohlo by se vám také líbit
-
Project X Origins: Grey Book Band, Oxford Level 14: In the News: Mixed Pack of 5
1460 Kč -
"Ich kann nicht - gibt's nicht! Wie die individuelle Ruckmeldung den Attributionsstil, die Motivation und die daraus resultierende Lernleistung langfr
915 Kč -
Cherokee Buckskin: How to skin, buck, stretch, flesh, dehair, brain tan, and smoke an animal pelt for use as clothing material. A little
339 Kč -
The Cat Who Had 60 Whiskers. Die Katze, die Gedanken las, englische Ausgabe
170 Kč -
Naked
305 Kč -
Defence of Infant-Baptism, (in Answer to the Objections of the Late Learned Mr. Gale.) in a Letter to the REV. MR John Wesley, ... to Which Is Added,
321 Kč -
Soulstice
154 Kč -
Namen der franzoesischen Departements
369 Kč -
Inky Dinky Blossom: Travel-sized adult colouring, coloring book
142 Kč -
Lesbian & Bisexual Identities
732 Kč -
Tunnelling Phenomena in High and Low Tc Superconductors
2369 Kč -
Narrative Development of School Children
1182 Kč -
Philosophical Issues in Tourism
879 Kč -
Managing Anger Through Selfless Thinking
308 Kč -
Mix negocjacyjny
170 Kč -
Mac Laurin's Self-Instructing Writing Books, Or, Every Man and Boy His Own Writing-Master
685 Kč -
Alzheimer: 100 Years and Beyond
6041 Kč -
Asia-Literacy and Global Competence: Collections and Recollections
565 Kč -
Dreimal anziehen, weg damit
431 Kč -
Kritiker Der Digitalisierung
1225 Kč -
United Nations Convention on Contracts for the International Carriage of Goods Wholly or Partly by Sea
2357 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Static Analysis
Nákupem získáte 118 bodů
Anotace knihy
This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design
1182 Kč
- Plný název: Static Analysis
- Podnázev: 4th International Symposium, Paris, France, September 8-10, 1997. Proceedings
- Autor: Pascal Van Hentenryck
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 424
- EAN: 9783540634683
- ISBN: 3540634681
- ID: 05274747
- Nakladatelství: Springer, Berlin
- Hmotnost: 551 g
- Rozměry: 279 × 216 × 22 mm
- Rok vydání: 1997
Oblíbené z jiného soudku
-
Digital Design and Computer Architecture, RISC-V Edition
2144 Kč -
Programming the 65816: Including the 6502, 65c02, and 65802
918 Kč -
FPGA Prototyping by SystemVerilog Examples - Xilinx MicroBlaze MCS SoC Edition
2786 Kč -
Computer Architecture
2597 Kč -
Professional CUDA C Programming
956 Kč -
Mastering KVM Virtualization
1229 Kč -
Computer Systems
5895 Kč -
Raspberry Pi User Guide 4e
523 Kč -
Structured Computer Organization
6505 Kč -
Computer Architecture
2277 Kč -
Solutions Architect's Handbook
1973 Kč -
Frontend Architecture for Design Systems
686 Kč -
Art of Scalability, The
875 Kč -
Computer Organization and Design MIPS Edition
2298 Kč -
Structured Computer Organization
2118 Kč -
Principles of Computer Hardware
2231 Kč -
Art Of Assembly Language, 2nd Edition
1351 Kč -
Professional Assembly Language
832 Kč -
Modeling Enterprise Architecture with TOGAF
1175 Kč -
Art of Multiprocessor Programming, Revised Reprint
1971 Kč -
Development and Deployment of Multiplayer Online Games, Vol. I
645 Kč -
Solutions Architect's Handbook
1229 Kč -
Learning Malware Analysis
1167 Kč -
CUDA Programming
1305 Kč -
CUDA Fortran for Scientists and Engineers
1731 Kč -
VMware Performance and Capacity Management -
1535 Kč -
Mastering Docker
1034 Kč -
CUDA by Example
1121 Kč -
Docker for Developers
1034 Kč -
Boost.Asio C++ Network Programming Cookbook
1296 Kč -
Multicore and GPU Programming
2589 Kč -
Kubernetes in Production Best Practices
925 Kč -
Quantum Computing
964 Kč -
Parallel Programming in OpenMP
1764 Kč -
Model-based System and Architecture Engineering with the Arcadia Method
4069 Kč -
CLEAN ARCHITECTURE
742 Kč -
Guide to Computer Processor Architecture
1384 Kč -
Shared-Memory Synchronization
1040 Kč -
Digital Manufacturing
339 Kč -
GNU GRUB Manual
364 Kč -
Architecting Google Cloud Solutions
1143 Kč -
Practice of Enterprise Architecture
1446 Kč -
Enterprise Software Architecture and Design - Entities, Services, and Resources
3385 Kč -
Network and System Security
1469 Kč -
Building Your Next Big Thing with Google Cloud Platform
775 Kč -
Computer Architecture
2324 Kč -
RISC-V Microprocessor System-On-Chip Design
2420 Kč -
High Performance Computing
2236 Kč -
X86 Assembly Language and C Fundamentals
5435 Kč
Osobní odběr Praha, Brno a 47512 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)