Verwandte Artikel zu Formal Methods for Multicore Programming: 15th International...

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 9104 (Programming and Software Engineering) - Softcover

 
9783319189406: Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 9104 (Programming and Software Engineering)
Softcover
ISBN 10: 3319189409 ISBN 13: 9783319189406
Verlag: Springer, 2015
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 
THIS BOOK PRESENTS 5 TUTORIAL LECTURES GIVEN BY LEADING RESEARCHERS AT THE 15TH EDITION OF THE INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS, SFM 2015, HELD IN BERTINORO, ITALY, IN JUNE 2015. SFM 2015 WAS DEVOTED TO MULTICORE PROGRAMMING AND COVERED TOPICS SUCH AS CONCURRENCY AND COORDINATION MECHANISMS, ARCHITECTURE AND MEMORY MODELS AND TYPE SYSTEMS.

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

Reseña del editor:
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.

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

Beste Suchergebnisse bei AbeBooks

Beispielbild für diese ISBN

Verlag: Springer (2015)
ISBN 10: 3319189409 ISBN 13: 9783319189406
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 ABLIING23Mar3113020090442

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

Neu kaufen
EUR 55,87
Währung umrechnen

In den Warenkorb

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

Bernardo, Marco (EDT); Johnsen, Einar Broch (EDT)
Verlag: Springer (2015)
ISBN 10: 3319189409 ISBN 13: 9783319189406
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 23787025-n

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

Neu kaufen
EUR 57,14
Währung umrechnen

In den Warenkorb

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

Verlag: Springer (2015)
ISBN 10: 3319189409 ISBN 13: 9783319189406
Neu Soft Cover Anzahl: 10
Anbieter:
booksXpress
(Bayonne, NJ, USA)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9783319189406

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

Neu kaufen
EUR 60,26
Währung umrechnen

In den Warenkorb

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

Marco Bernardo
Verlag: Springer (2015)
ISBN 10: 3319189409 ISBN 13: 9783319189406
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 ria9783319189406_lsuk

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

Neu kaufen
EUR 52,99
Währung umrechnen

In den Warenkorb

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

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

Buchbeschreibung Zustand: New. pp. 211. Bestandsnummer des Verkäufers 26372815662

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

Neu kaufen
EUR 70,27
Währung umrechnen

In den Warenkorb

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

Einar Broch Johnsen
ISBN 10: 3319189409 ISBN 13: 9783319189406
Neu Taschenbuch Anzahl: 2
Print-on-Demand
Anbieter:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Deutschland)
Bewertung
Bewertung: 4 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 presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. 220 pp. Englisch. Bestandsnummer des Verkäufers 9783319189406

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

Neu kaufen
EUR 51,36
Währung umrechnen

In den Warenkorb

Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Bernardo, Marco (Editor)/ Johnsen, Einar Broch (Editor)
ISBN 10: 3319189409 ISBN 13: 9783319189406
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. 2015 edition. 220 pages. 9.25x6.10x0.50 inches. In Stock. Bestandsnummer des Verkäufers x-3319189409

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

Neu kaufen
EUR 68,17
Währung umrechnen

In den Warenkorb

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

Verlag: Springer (2015)
ISBN 10: 3319189409 ISBN 13: 9783319189406
Neu Softcover Anzahl: 4
Print-on-Demand
Anbieter:
Majestic Books
(Hounslow, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Print on Demand pp. 211. Bestandsnummer des Verkäufers 374278385

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

Neu kaufen
EUR 75,63
Währung umrechnen

In den Warenkorb

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

Einar Broch Johnsen
ISBN 10: 3319189409 ISBN 13: 9783319189406
Neu Taschenbuch Anzahl: 1
Anbieter:
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. Bestandsnummer des Verkäufers 9783319189406

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

Neu kaufen
EUR 54,34
Währung umrechnen

In den Warenkorb

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

Bernardo, Marco|Johnsen, Einar Broch
ISBN 10: 3319189409 ISBN 13: 9783319189406
Neu Kartoniert / Broschiert Anzahl: > 20
Print-on-Demand
Anbieter:
moluna
(Greven, Deutschland)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Original, readable and useful lecture notes written by leading expertsMade for students, researchers and practitionersCovers a variety of topics in formal methods for software systems, with particular focus on modeling and verification run. Bestandsnummer des Verkäufers 29787349

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

Neu kaufen
EUR 46,63
Währung umrechnen

In den Warenkorb

Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Es gibt weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen