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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Multicore Programming

Name: Formal Methods for Multicore Programming
Brand: Springer International Publishing AG
SKU: 09272022
Price: 51.69 EUR
Availability: InStock
Author: Marco Bernardo
ISBN: 9783319189406

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Marco Bernardo

Einar Broch Johnsen

Sprache

Englisch

Buch Broschur

Libristo-Code: 09272022

Verlag Springer International Publishing AG, Mai 2015

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the Inter... Vollständige Beschreibung

Libristo-Code: 09272022

127 b

51.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Hliadky! Hliadky! Martin Hatala

Hardcover

12.49 €

FAIRY TAIL ICE TRAIL YUSUKE SHIRATO HIRO MASHIMA

Hardcover

18.99 €

Corno Franc Javier Marco

Broschur

11.59 €

Traite de Physiologie Comparee de l'Homme Et Des Animaux. Tome 3 Duges-A

Broschur

34.29 €

Pridite ko Mne vse truzhdajushhiesya i obremenennye igumen Martirij (Bagin)

Broschur

26.09 €

Dict. de Jurisprudence Et Des Arrets, Ou Nouvelle Edition Du Dict. de Brillon. T. 5 (Ed.1781-1788) Pierre-Jacques Brillon

Broschur

50.69 €

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.

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 Formal Methods for Multicore Programming

Autor Marco Bernardo, Einar Broch Johnsen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 211

EAN 9783319189406

ISBN 3319189409

Libristo-Code 09272022

Verlag Springer International Publishing AG

Gewicht 3401

Abmessungen 155 x 235 x 12

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Unternehmensanwendungen > Mathematische und statistische Software

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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