Verwandte Artikel zu The Formal Description Technique LOTOS: Results of...
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Reseña del editor:
The SEDOS (Software Environment for the Design of Open Distributed Systems) project was supported by the Commission of the European Communities under the ESPRIT Programme. It was divided into two main tasks, related respectively to the two ISO formal description techniques Estelle and LOTOS, which became international standards in September 1988. This book presents the work related to LOTOS. It includes a tutorial on LOTOS, a number of specifications, in particular a specification of the OSI session layer. Results in verification theory and descriptions of supporting software tools are given.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagElsevier Science Ltd
- Erscheinungsdatum1988
- ISBN 10 0444872671
- ISBN 13 9780444872678
- EinbandTapa dura
- Anzahl der Seiten462
- HerausgeberEijk Peter H.J.Van, Etc.
Gebraucht kaufen
Zustand: Befriedigend*Price HAS BEEN REDUCED by 10%... Mehr zu diesem Angebot erfahren
EUR 6,18
Versand:
EUR 4,20
Innerhalb der USA
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
The Formal Description Technique Lotos: Results of the Esprit/Sedos Project
Verlag:
North-Holland
(1989)
ISBN 10: 0444872671
ISBN 13: 9780444872678
Gebraucht
Hardcover
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday April 29 (sale item)* 451 pp., hardcover, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Bestandsnummer des Verkäufers ZB572307
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 6,18
Währung umrechnen
Beispielbild für diese ISBN
The Formal Description Technique LOTOS: Results of the ESPRIT SEDOS Project
Verlag:
North Holland
(1988)
ISBN 10: 0444872671
ISBN 13: 9780444872678
Gebraucht
Hardcover
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Zustand: Good. exlibrary hardcover book no dust jacket, usual library marks, has some light reader wear; Bestandsnummer des Verkäufers 2DF5TK000DO8
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 6,75
Währung umrechnen
Beispielbild für diese ISBN
The Formal Description Technique Lotos: Results of the Esprit/Sedos Project
Verlag:
Elsevier Science Ltd
(1988)
ISBN 10: 0444872671
ISBN 13: 9780444872678
Gebraucht
Hardcover
Anzahl: 1
Anbieter:
Bewertung
Buchbeschreibung Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1988. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Soiling on the side. Different cover. Edition 1988. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers D-569-141
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Gebraucht kaufen
EUR 31,76
Währung umrechnen