Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Static Analysis of Software: The Abstract Interpre tation

Name: Static Analysis of Software: The Abstract Interpre tation
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 05103637
Price: 169.83 EUR
Availability: InStock
Author: Jean-Louis Boulanger
ISBN: 9781848213203

Jean-Louis Boulanger

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 05103637

Založba ISTE Ltd and John Wiley & Sons Inc, november 2011

The existing literature currently available to students and researchers is very general, covering on... Celoten opis

Koda Libristo: 05103637

411 b

169.83 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 11-15 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Censure de la Convention Nationale En V Discours En Vers, Suivis de Notes Rousseau-T

Mehka

15.67 €

auto da corsa Sam Taplin

Kartonka

13.54 €

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).