- 5 Ergebnisse
Kleinster Preis: € 49,90, größter Preis: € 70,91, Mittelwert: € 56,68
1
Bestellen
bei Biblio.co.uk
$ 76,84
(ca. € 70,91)
Versand: € 11,781
Bestellen
Details beim Anbieter
gesponserter Link
Markus Muller-Olm:

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - Taschenbuch

2014, ISBN: 9783319109350

Gebundene Ausgabe

Hildesheim ; New York : G. Olms, 1971. First Edition. Hardcover. Near fine copy in the original title-blocked pictorial cloth. Slightest suggestion only of dust-dulling to the spine band… Mehr…

IRL, GBR - Versandkosten: EUR 11.78 MW Books Ltd., The Saint Bookstore
zuklappen (X)
2
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Lecture Notes in Computer Science, Band 8723)
Bestellen
bei amazon.de
€ 51,98
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Lecture Notes in Computer Science, Band 8723) - Taschenbuch

2014, ISBN: 9783319109350

Springer, Taschenbuch, Auflage: 2014, 356 Seiten, Publiziert: 2014-08-20T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 97 black & white illustrations, biograph, 1.1 kg, Informatik, IT-A… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
Static Analysis | 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | Helmut Seidl (u. a.) | Taschenbuch | Theoretical Computer Science and General Issues - Seidl, Helmut
Bestellen
bei booklooker.de
€ 49,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Seidl, Helmut:
Static Analysis | 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | Helmut Seidl (u. a.) | Taschenbuch | Theoretical Computer Science and General Issues - Taschenbuch

2014

ISBN: 9783319109350

[ED: Taschenbuch], [PU: Springer International Publishing], This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, hel… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (X)
4
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Markus Müller-Olm Editor
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Markus Müller-Olm Editor - neues Buch

2014, ISBN: 9783319109350

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
5
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - Seidl, Helmut (Herausgeber); Müller-Olm, Markus (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Seidl, Helmut (Herausgeber); Müller-Olm, Markus (Herausgeber):
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - neues Buch

2014, ISBN: 3319109359

2014 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Software Engineering, Theoretische Informatik, formalmethods; modelchecking; Pro… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Lecture Notes in Computer Science, Band 8723)
Autor:
Titel:
ISBN-Nummer:

3319109359


This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

Detailangaben zum Buch - Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Lecture Notes in Computer Science, Band 8723)


EAN (ISBN-13): 9783319109350
ISBN (ISBN-10): 3319109359
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: Müller-Olm, Markus, Seidl, Helmut, Springer

Buch in der Datenbank seit 2014-10-10T07:00:33+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-04-16T13:01:08+02:00 (Vienna)
ISBN/EAN: 3319109359

ISBN - alternative Schreibweisen:
3-319-10935-9, 978-3-319-10935-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: seidl helmut, helmut müller, markus helm, markus miller, von seidl
Titel des Buches: lecture notes computer science, september, static analysis, salz, symposium notes, seidl

Daten vom Verlag:

Autor/in: Markus Müller-Olm; Helmut Seidl
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Verlag: Springer; Springer International Publishing
337 Seiten
Erscheinungsjahr: 2014-08-20
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XVIII, 337 p. 97 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; formal methods; model checking; program analysis; program reasoning; software engineering; software functional properties; software testing and debugging; software validation; software verification; theory of computation; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Formal Languages and Automata Theory; Software Engineering; Compiler und Übersetzer; EA

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers were selected from 53 submissions and are presented together with 3 invited talks. The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
< zum Archiv...