Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada formal methods for open object-based distributed systems
formal methods for open object-based distributed systemsformal methods for open object-based distributed systems
Type
Physical Book
Publisher
Language
English
Pages
470
Format
Hardcover
Dimensions
23.4 x 15.6 x 2.7 cm
Weight
0.86 kg.
ISBN
0412820404
ISBN13
9780412820403

formal methods for open object-based distributed systems

Howard Bowman (Illustrated by) · John Derrick (Illustrated by) · Springer · Hardcover

formal methods for open object-based distributed systems - Bowman, Howard ; Derrick, John

Cheaper New Book Imported to South Africa
Delivery: 09 Sep - 22 Sep Shipping: 12 to 16 business days.
R 3,397
Faster New Book Imported to South Africa
Delivery: 27 Aug - 07 Sep Shipping: 4 to 5 business days.
R 4,797
R 3,397

Synopsis "formal methods for open object-based distributed systems"

This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object oriented methods.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews