Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro 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

Lingua

Inglese

Libro In brossura

Libro Formal Methods for Multicore Programming Marco Bernardo

Codice Libristo: 09272022

Casa editrice Springer International Publishing AG, maggio 2015

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the Inter... Descrizione completa

Codice Libristo: 09272022

?

points

127 b

51.69 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Hliadky! Hliadky! Martin Hatala

/

Rigido

12.49 €

Torba na ramię Dollars

/

Articoli di cancelleria

15.69 €

FAIRY TAIL ICE TRAIL YUSUKE SHIRATO HIRO MASHIMA

/

Rigido

18.09 €

Corno Franc Javier Marco

/

In brossura

11.59 €

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

/

In brossura

34.29 €

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

/

In brossura

26.09 €

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

/

In brossura

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Methods for Multicore Programming

Autore Marco Bernardo, Einar Broch Johnsen

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2015

Numero di pagine 211

EAN 9783319189406

ISBN 3319189409

Codice Libristo 09272022

Casa editrice Springer International Publishing AG

Peso 3401

Dimensioni 155 x 235 x 12

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici

Informatica e Tecnologia dell’Informazione > Applicazioni aziendali > Programmi per la matematica e la statistica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Palgrave Handbook of the Philosophy of Aging Geoffrey Scarre

/

Rigido

313.69 €

Brig Society: The Complete Series 1-4 Marcus Brigstocke

/

MP3

11.89 €

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

/

Adobe ePub DRM

3.39 €

Perfectly Imperfect Darlene P. Winston

/

In brossura

17.09 €

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

/

Rigido

110.99 €

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

/

Rigido

39.69 €

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

/

In brossura

8.89 €

Elan Meets Rafa Volume 13: Boy Love Story The Mice

/

In brossura

20.09 €

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

/

In brossura

20.39 €

A Shadow in Moscow: A Cold War Novel Reay

/

In brossura

16.09 €

European Employment Law CLAIRE-MICHEL SMYTH

/

In brossura

18.09 €

Out of Touch Drouin

/

In brossura

15.99 €

Race Car-Red Green Toys

/

Giocattolo

9.39 €

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

/

Rigido

218.59 €

Minecraft for Makers John Baichtal

/

In brossura

16.49 €

Whisperwicks: The Labyrinth of Lost and Found Jordan Lees

/

Rigido

16.89 €

English Nouns LIEBER ROCHELLE

/

In brossura

66.09 €

Nanostructured Magnetic Materials Sathish-Kumar Kamaraj

/

Adobe ePub DRM

75.09 €

Looking for Alaska Deluxe Edition John Green

/

Rigido

18.09 €

How Dark The World Becomes Frank Chadwick

/

In brossura

9.19 €

Matter of Grace Marion Collier

/

Rigido

38.69 €

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

/

In brossura

25.89 €

You'll Have Had Your Hole Irvine Welsh

/

In brossura

18.19 €

Interaction Design for 3D User Interfaces Ortega

/

Rigido

137.69 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?