Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA (Paperback, Softcover reprint of the original 1st ed. 2000) Loot Price: R5,180
Discovery Miles 51 800
Repayment Terms: R485 pm x 12*
Add to cart
Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods...

Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA (Paperback, Softcover reprint of the original 1st ed. 2000)

Scott F. Smith, Carolyn L. Talcott

Series: IFIP Advances in Information and Communication Technology, 49

 (sign in to rate)
Loot Price R5,180 Discovery Miles 51 800 | Repayment Terms: R485 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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. Papers in this volume focus on the following specific technologies: * components; * mobile code; * Java(R); * The Unified Modeling Language (UML); * refinement of specifications; * types and subtyping; * temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: IFIP Advances in Information and Communication Technology, 49
Release date: August 2012
First published: 2000
Editors: Scott F. Smith • Carolyn L. Talcott
Dimensions: 235 x 155 x 22mm (L x W x T)
Format: Paperback
Pages: 422
Edition: Softcover reprint of the original 1st ed. 2000
ISBN-13: 978-1-4757-1018-2
Categories: Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 1-4757-1018-6
Barcode: 9781475710182

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners