Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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: 188.47 EUR
Availability: InStock
Author: Jean-Louis Boulanger
ISBN: 9781848213203

Jean-Louis Boulanger

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05103637

Verlag ISTE Ltd and John Wiley & Sons Inc, November 2011

The existing literature currently available to students and researchers is very general, covering on... Vollständige Beschreibung

Libristo-Code: 05103637

456 b

188.47 €

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

17.28 €

auto da corsa Sam Taplin

Leporello

15.06 €

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).

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Static Analysis of Software: The Abstract Interpre tation

Autor Jean-Louis Boulanger

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2011

Anzahl der Seiten 346

EAN 9781848213203

ISBN 1848213204

Libristo-Code 05103637

Verlag ISTE Ltd and John Wiley & Sons Inc

Gewicht 654

Abmessungen 156 x 241 x 25

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert