Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Methods for Multicore Programming

Formal Methods for Multicore Programming

15th International School on Formal Methods for the Design of Computer

by Marco Bernardo, Einar Broch Johnsen

Springer-Nature New York Inc · 2015 · Paperback

₹3,762

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer is written by Marco Bernardo & Einar Broch Johnsen. This paperback edition from Springer-Nature New York Inc (2015) has 211 pages.

Its main subjects are Software engineering.

Book details

ISBN-13
9783319189406
ISBN-10
3319189409
Authors
Marco Bernardo, Einar Broch Johnsen
Publisher
Springer-Nature New York Inc
Published
2015
Edition
2015 ed.
Binding
Paperback
Pages
211
Language
English
Condition
New
Subject
Software engineering

More by Marco Bernardo and related titles

See all