Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015: 9104 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods for Multicore Programming: 15th International...
Foto dell'editore
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Programming and Software Engineering)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020090442
Compra nuovo
EUR 53,00
Spese di spedizione:
EUR 3,47
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 23787025-n
Compra nuovo
EUR 54,21
Spese di spedizione:
EUR 2,30
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Programming and Software Engineering)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319189406_new
Compra nuovo
EUR 51,60
Spese di spedizione:
EUR 13,60
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 23787025-n
Compra nuovo
EUR 51,59
Spese di spedizione:
EUR 17,03
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Multicore Programming
Editore:
Springer International Publishing Mai 2015, 2015
ISBN 10: 3319189409
ISBN 13: 9783319189406
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783319189406
Compra nuovo
EUR 51,36
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 211. Codice articolo 26372815662
Compra nuovo
EUR 73,56
Spese di spedizione:
EUR 3,47
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 211. Codice articolo 374278385
Compra nuovo
EUR 76,56
Spese di spedizione:
EUR 7,38
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 211. Codice articolo 18372815652
Compra nuovo
EUR 77,43
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Formal Methods for Multicore Programming
Editore:
Springer International Publishing, 2015
ISBN 10: 3319189409
ISBN 13: 9783319189406
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Kartoniert / Broschiert. Condizione: 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. Codice articolo 29787349
Compra nuovo
EUR 46,63
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015
Editore:
Springer-Verlag New York Inc, 2015
ISBN 10: 3319189409
ISBN 13: 9783319189406
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 2015 edition. 220 pages. 9.25x6.10x0.50 inches. In Stock. Codice articolo x-3319189409
Compra nuovo
EUR 78,23
Spese di spedizione:
EUR 28,38
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili