The Concept of Discrimination in International Law

by E.W. Vierdag

Estimated delivery 3-12 business days

Format Paperback

Condition Brand New

Description Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term 'fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements. The main theme of Formal Techniques in Real-Time and Fault-Tolerant Systems can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ? How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ? Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the 'how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems. The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.

Publisher Description

This book was written as a dissertation for the Doctorate of Laws, University of Amsterdam. I am most grateful, first of all, to Professor A. J. P. Tammes, who acted as Promotor. Throughout my working at this study he managed to afford at the same time guidance, inspiration, and complete freedom. I have also benefited much from the suggestions and advice of Dr. Th. e. van Boven of the Dutch Ministry of Foreign Affairs, Member of the U.N. Commission on Human Rights, who was a very helpful Co- referent. In earlier stages of the work, the critical remarks by Mr. S. A. Kuipers, Dr. H. Meijers and Miss J. M. van Wouw were of great im- portance to me. So was the experience of participating in the program of graduate studies of the Columbia University School of Law, in I968- I969. lowe gratitude to the Amsterdam Law Faculty for having offered this opportunity to me. I am indebted to Miss Sinja Alma for her transforming a chaotic manuscript into a neat typescript in a most capable and patient manner; to Miss E. D. ]. ]ongens for her assistance in sorting out the United Nations documentation; and to Howard S. Gold (Gersono- vitch), who was so kind as to correct the faults in my English. Since I went on tinkering with the text I am to blame for all linguistic errors in it. The research for this study was concluded in October, I972.

Details

  • ISBN 9024715253
  • ISBN-13 9789024715251
  • Title The Concept of Discrimination in International Law
  • Author E.W. Vierdag
  • Format Paperback
  • Year 1973
  • Pages 176
  • Edition 1st
  • Publisher Springer
  • Dimensions6.1 in. x 0.4 in. x 9.2 in.
GE_Item_ID:12212159;

About Us

Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love!

Shipping & Delivery Times

Shipping is FREE to any address in USA.

Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated.

International deliveries will take 1-6 weeks.

NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations.

Returns

If you wish to return an item, please consult our Returns Policy as below:

Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted.

Returns must be postmarked within 4 business days of authorisation and must be in resellable condition.

Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit.

For purchases where a shipping charge was paid, there will be no refund of the original shipping charge.

Additional Questions

If you have any questions please feel free to Contact Us.