Items related to 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, ... (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, ... (Programming and Software Engineering)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

US$ 20.29 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Search results for Formal Methods for Multicore Programming: 15th International...

Seller Image

Bernardo, Marco (EDT); Johnsen, Einar Broch (EDT)
Published by Springer, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 23787025-n

Contact seller

Buy New

US$ 60.50
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020090442

Contact seller

Buy New

US$ 59.16
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783319189406

Contact seller

Buy New

US$ 74.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783319189406_new

Contact seller

Buy New

US$ 63.56
Convert currency
Shipping: US$ 16.21
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bernardo, Marco (EDT); Johnsen, Einar Broch (EDT)
Published by Springer, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 23787025-n

Contact seller

Buy New

US$ 63.55
Convert currency
Shipping: US$ 20.29
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Einar Broch Johnsen
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783319189406

Contact seller

Buy New

US$ 60.26
Convert currency
Shipping: US$ 26.20
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 211. Seller Inventory # 26372815662

Contact seller

Buy New

US$ 87.62
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Einar Broch Johnsen
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: 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. Seller Inventory # 9783319189406

Contact seller

Buy New

US$ 60.26
Convert currency
Shipping: US$ 33.83
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 211. Seller Inventory # 374278385

Contact seller

Buy New

US$ 87.91
Convert currency
Shipping: US$ 8.79
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Bernardo, Marco (Editor)/ Johnsen, Einar Broch (Editor)
Published by Springer-Verlag New York Inc, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 2015 edition. 220 pages. 9.25x6.10x0.50 inches. In Stock. Seller Inventory # x-3319189409

Contact seller

Buy New

US$ 89.43
Convert currency
Shipping: US$ 13.53
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 6 more copies of this book

View all search results for this book