Verwandte Artikel zu Static Analysis: 21st International Symposium, SAS...

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

 
9783319109350: Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings: 8723 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3319109359 ISBN 13: 9783319109350
Verlag: Springer, 2014
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 
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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor:
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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Verlag: Springer (2014)
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Softcover Anzahl: > 20
Anbieter:
Lucky's Textbooks
(Dallas, TX, USA)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020088455

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 57,04
Währung umrechnen

In den Warenkorb

Versand: EUR 3,73
Innerhalb der USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Müller-olm, Markus (EDT); Seidl, Helmut (EDT)
Verlag: Springer (2014)
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Softcover Anzahl: 5
Anbieter:
GreatBookPrices
(Columbia, MD, USA)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 21690147-n

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 58,33
Währung umrechnen

In den Warenkorb

Versand: EUR 2,47
Innerhalb der USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Verlag: Springer (2014)
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Soft Cover Anzahl: 10
Print-on-Demand
Anbieter:
booksXpress
(Bayonne, NJ, USA)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Soft Cover. Zustand: new. This item is printed on demand. Bestandsnummer des Verkäufers 9783319109350

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 65,85
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Markus Müller-Olm
Verlag: Springer (2014)
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Softcover Anzahl: > 20
Print-on-Demand
Anbieter:
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783319109350_lsuk

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 59,63
Währung umrechnen

In den Warenkorb

Versand: EUR 11,80
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Helmut Seidl
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Taschenbuch Anzahl: 2
Print-on-Demand
Anbieter:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Deutschland)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 356 pp. Englisch. Bestandsnummer des Verkäufers 9783319109350

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 53,49
Währung umrechnen

In den Warenkorb

Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Müller-olm, Markus (EDT); Seidl, Helmut (EDT)
Verlag: Springer (2014)
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Softcover Anzahl: 5
Anbieter:
GreatBookPricesUK
(Castle Donington, DERBY, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 21690147-n

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 59,62
Währung umrechnen

In den Warenkorb

Versand: EUR 17,74
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Verlag: Springer (2014)
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Softcover Anzahl: 4
Anbieter:
Books Puddle
(New York, NY, USA)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. pp. 356. Bestandsnummer des Verkäufers 26142275154

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 73,70
Währung umrechnen

In den Warenkorb

Versand: EUR 3,73
Innerhalb der USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Muller-Olm, Markus
Verlag: Springer 2014-08 (2014)
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu PF Anzahl: 10
Anbieter:
Chiron Media
(Wallingford, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783319109350

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 62,36
Währung umrechnen

In den Warenkorb

Versand: EUR 17,73
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Müller-olm, Markus (Editor)/ Seidl, Helmut (Editor)
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Paperback Anzahl: 2
Anbieter:
Revaluation Books
(Exeter, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Paperback. Zustand: Brand New. 2014 edition. 356 pages. 9.30x6.20x0.81 inches. In Stock. Bestandsnummer des Verkäufers x-3319109359

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 71,25
Währung umrechnen

In den Warenkorb

Versand: EUR 11,82
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

. Ed(s): Muller-Olm, Markus; Seidl, Helmut
ISBN 10: 3319109359 ISBN 13: 9783319109350
Neu Softcover Anzahl: 15
Anbieter:
Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Irland)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Editor(s): Muller-Olm, Markus; Seidl, Helmut. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 355 pages, 97 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 545. . 2014. Paperback. . . . . Bestandsnummer des Verkäufers V9783319109350

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 73,85
Währung umrechnen

In den Warenkorb

Versand: EUR 10,50
Von Irland nach USA
Versandziele, Kosten & Dauer

Es gibt weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen