Verwandte Artikel zu Software Engineering and Formal Methods: 11th International...

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Programming and Software Engineering) - Softcover

 
9783642405600: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Programming and Software Engineering)
Softcover
ISBN 10: 3642405606 ISBN 13: 9783642405600
Verlag: Springer, 2013

Inhaltsangabe

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

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

Reseña del editor

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

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

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3642405606
ISBN 13 
9783642405600
Einband
Tapa blanda
Anzahl der Seiten
340
Herausgeber
Hierons Robert M., Merayo Mercedes G., Bravetti Mario
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Gebraucht kaufen

Zustand: Befriedigend
Connecting readers with great books...
Diesen Artikel anzeigen
9783642405600: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Programming and Software Engineering)
EUR 39,45

Währung umrechnen

EUR 3,23 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Neu kaufen

Diesen Artikel anzeigen
9783642405600: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Programming and Software Engineering)
EUR 52,86

Währung umrechnen

EUR 3,44 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Suchergebnisse für Software Engineering and Formal Methods: 11th International...

Beispielbild für diese ISBN

Verlag: Springer, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Gebraucht paperback

Anbieter: HPB-Red, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

paperback. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_401243743

Verkäufer kontaktieren

Gebraucht kaufen

EUR 39,45
Währung umrechnen
Versand: EUR 3,23
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020226156

Verkäufer kontaktieren

Neu kaufen

EUR 52,86
Währung umrechnen
Versand: EUR 3,44
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Hierons, Robert (EDT); Merayo, Mercedes G. (EDT); Bravetti, Mario (EDT)
Verlag: Springer, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 20066557-n

Verkäufer kontaktieren

Neu kaufen

EUR 54,04
Währung umrechnen
Versand: EUR 2,28
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Hierons, Robert (EDT); Merayo, Mercedes G. (EDT); Bravetti, Mario (EDT)
Verlag: Springer, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Gebraucht Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 20066557

Verkäufer kontaktieren

Gebraucht kaufen

EUR 60,17
Währung umrechnen
Versand: EUR 2,28
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783642405600

Verkäufer kontaktieren

Neu kaufen

EUR 65,69
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Robert M. Hierons
ISBN 10: 3642405606 ISBN 13: 9783642405600
Neu Paperback

Anbieter: Grand Eagle Retail, Bensenville, IL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: new. Paperback. This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation. This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783642405600

Verkäufer kontaktieren

Neu kaufen

EUR 71,89
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783642405600_new

Verkäufer kontaktieren

Neu kaufen

EUR 60,09
Währung umrechnen
Versand: EUR 13,75
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Hierons, Robert M.
Verlag: Springer 2013-09, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 56,53
Währung umrechnen
Versand: EUR 17,78
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Foto des Verkäufers

Robert M. Hierons
ISBN 10: 3642405606 ISBN 13: 9783642405600
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation. 340 pp. Englisch. Bestandsnummer des Verkäufers 9783642405600

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Hierons, Robert (EDT); Merayo, Mercedes G. (EDT); Bravetti, Mario (EDT)
Verlag: Springer, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 20066557-n

Verkäufer kontaktieren

Neu kaufen

EUR 59,47
Währung umrechnen
Versand: EUR 17,22
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 10 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen