Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €

phone

Contact

phone

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

0

Livraison gratuite à partir de 69.99 euros.

Livre Formal Methods for Multicore Programming Marco Bernardo

Formal Methods for Multicore Programming

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

Einar Broch Johnsen

Langue

Anglais

Livre Livre de poche

Livre Formal Methods for Multicore Programming Marco Bernardo

Code Libristo: 09272022

Éditeurs Springer International Publishing AG, mai 2015

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the Inter... Description détaillée

Code Libristo: 09272022

?

points

120 b

49.44 €

Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

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

/

Livre de poche

45.51 €

Hliadky! Hliadky! Martin Hatala

/

Livre relié

11.80 €

Wine revolution. Guida ai migliori vini organici, biodinamici e naturali Jane Anson

/

Livre relié

35.42 €

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

/

Livre de poche

24.82 €

Torba na ramię Dollars

/

Articles de papeterie

14.83 €

FAIRY TAIL ICE TRAIL YUSUKE SHIRATO HIRO MASHIMA

/

Livre relié

18.26 €

Corno Franc Javier Marco

/

Livre de poche

11.19 €

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

/

Livre de poche

31.98 €

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.

Actrice & Polyglotte

EWA KASP pro

Regarder la vidéo

Ewa Kasp

Ewa Kasp

Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Formal Methods for Multicore Programming

Auteur Marco Bernardo, Einar Broch Johnsen

Langue

Anglais

Reliure Livre - Livre de poche

Date de parution 2015

Nombre de pages 211

EAN 9783319189406

ISBN 3319189409

Code Libristo 09272022

Éditeurs Springer International Publishing AG

Poids 3401

Dimensions 155 x 235 x 12

Catégories

Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens

Informatique et technologies de l’information > Applications métiers > Logiciel de mathématiques et statistiques

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel

Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique

Offrez ce livre dès aujourd'hui

C’est simple

1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Stochastic Processes - Inference Theory Malempati M. Rao

/

Livre de poche

102.73 €

Warfare and Culture in World History, Second Edition Wayne E. Lee

/

Livre relié

107.58 €

Minecraft for Makers John Baichtal

/

Livre de poche

15.73 €

Architectures of Festival in Early Modern Europe Professor J. R. Mulryne

/

Livre relié

209.52 €

Miss Jacobson's Journey Carola Dunn

/

Livre de poche

25.93 €

Basic Christian Beliefs: Revised Edition David L Smith

/

Livre de poche

14.83 €

European Employment Law CLAIRE-MICHEL SMYTH

/

Livre de poche

17.25 €

Elan Meets Rafa Volume 13: Boy Love Story The Mice

/

Livre de poche

19.27 €

Super Mario: Bring on the Bad Guys! (Nintendo) Courtney Carbone

/

Livre de poche

8.37 €

Life and Literature. Selected and Edited With an Introd. by John Erskine John Erskine

/

Livre relié

38.14 €

Race Car-Red Green Toys

/

Jouet

8.87 €

Perfectly Imperfect Darlene P. Winston

/

Livre de poche

16.24 €

Brig Society: The Complete Series 1-4 Marcus Brigstocke

/

MP3

11.50 €

Some Things Smell Funny! | Sense & Sensation Books for Kids Baby Professor

/

Adobe ePub DRM

3.32 €

The Polish Defense: Systems for Black Based on ...B5 Marek Soszynski

/

Livre de poche

22.80 €

A Shadow in Moscow: A Cold War Novel Reay

/

Livre de poche

16.24 €

Out of Touch Drouin

/

Livre de poche

16.14 €

Whisperwicks: The Labyrinth of Lost and Found Jordan Lees

/

Livre relié

15.94 €

Nanostructured Magnetic Materials Sathish-Kumar Kamaraj

/

Adobe ePub DRM

72.96 €

Functional pregnancy problems and osteopathy 2 Sigrid Steinbauer

/

Livre de poche

39.15 €

Matter of Grace Marion Collier

/

Livre relié

37.23 €

Father Laval; Or The Jesuit Missionary: A Tale Of The North American Indians (1860) James McSherry

/

Livre de poche

25.02 €

You'll Have Had Your Hole Irvine Welsh

/

Livre de poche

17.45 €

Palgrave Handbook of the Philosophy of Aging Geoffrey Scarre

/

Livre relié

302.27 €

Conseiller littéraire Libroamiko

Bonjour, je suis Libroamiko, puis-je vous aider ?