Titel: Introduction to the Formal Design of Real-Time Systems (Applied Computing)
Verlag: Springer
Erscheinungsjahr: 1998
Sprache: Englisch
ISBN-10: 3540761403
ISBN-13: 9783540761402
Einband: Softcover
Zustand: Neu

�ber diesen Titel

Inhaltsangabe

but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ� er see different things as being equal, and how we can produce algo� rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. • The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check� ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path� ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.

Rese�a del editor

but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ� er see different things as being equal, and how we can produce algo� rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. � The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check� ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path� ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Australian Book seller. Weide varierty of fiction and non-fiction books

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

sadia zaki
21, harriet court, Salisbury Plain, SA, 5107, Australia

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Ships from Australia and USA

Widerrufsbelehrung

Versandbedingungen

Shipping rates are for 1 KG book. For heavy items additional charges may be requested

Versandkosten von Australien nach Deutschland

Versandkosten von Australien nach Deutschland
Bestellmenge	8 bis 18�Werktage	4 bis 8�Werktage
Erster Artikel	EUR 0.00	EUR 12.68

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.