English
United States
Sign in
Tip from find-more-books.com
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
FILTER
- 0 Results
Lowest price: 25.03 €, highest price: 232.11 €, average price: 175.38 €
LOTOSphere:  Software Development with LOTOS
book is out-of-stock
(*)
LOTOSphere: Software Development with LOTOS - new book

ISBN: 9780792395294

ID: 978079239529

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques. LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering practice. LOTOS became a vehicle for efficient, yet formally based industrial software specification, design, verification, implementation and testing. LOTOSphere: Software Development with LOTOS is divided into six parts. The first introduces the reader to LOTOS and the project LOTOSphere. The five remaining each treat an important part of the software development life cycle using LOTOS. This is the first book to give a comprehensive treatment of the use of these formal description techniques in a software engineering environment. It will thus be a valuable reference for researchers and software developers and can also be used as a text for an advanced course on the subject. Books, Computers, LOTOSphere: Software Development with LOTOS Books>Computers, Springer US

New book Indigo.ca
new Free shipping on orders above $25 Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
LOTOSphere: Software Development with LOTOS - Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers
book is out-of-stock
(*)
Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers:
LOTOSphere: Software Development with LOTOS - new book

ISBN: 9780792395294

ID: 9780792395294

Computer Science; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems; Computing Methodologies; Processor Architectures; Electrical Engineering Browser, C programming language, Compiler, Language of Temporal Ordering Specification, Standard, communication, development, production Books Book, Springer Science+Business Media

New book Springer.com
Shipping costs: EUR 0.00
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
LOTOSphere - Tommaso Bolognesi
book is out-of-stock
(*)
Tommaso Bolognesi:
LOTOSphere - hardcover

ISBN: 9780792395294

Hardback, [PU: Kluwer Academic Publishers], LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This title describes a 5 year project that moved LOTOS out of the ISO tower into software engineering practice., Programming & Scripting Languages: General

New book Bookdepository.com
Shipping costs:Versandkostenfrei (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
LOTOSphere : Software Development with LOTOS - Bolognesi, Tommaso (editor); Van Lagemaat, Jeroen (editor); Vissers, Chris (editor)
book is out-of-stock
(*)
Bolognesi, Tommaso (editor); Van Lagemaat, Jeroen (editor); Vissers, Chris (editor):
LOTOSphere : Software Development with LOTOS - hardcover

1995, ISBN: 9780792395294

ID: 38143720

Norwell, MA, U.S.A.: Norwell, MA, U.S.A.: Kluwer Academic Publishers, 1995. As New. Hardcover. 1995., Norwell, MA, U.S.A.: Kluwer Academic Publishers, 1995, 1995

Used or antiquarian book Biblio.com
bookstore brengelman
Shipping costs: EUR 20.03
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
LOTOSphere - Tommaso Bolognesi; Jeroen van de Lagemaat; Chris A. Vissers
book is out-of-stock
(*)
Tommaso Bolognesi; Jeroen van de Lagemaat; Chris A. Vissers:
LOTOSphere - hardcover

1995, ISBN: 9780792395294

ID: 547618

1995 ed., Hardcover, Buch, [PU: Kluwer Academic Publishers]

New book Lehmanns.de
Shipping costs:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
Lotosphere: Software Development with Lotos

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques. LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering practice. LOTOS became a vehicle for efficient, yet formally based industrial software specification, design, verification, implementation and testing. LOTOSphere: Software Development with LOTOS is divided into six parts. The first introduces the reader to LOTOS and the project LOTOSphere. The five remaining each treat an important part of the software development life cycle using LOTOS. This is the first book to give a comprehensive treatment of the use of these formal description techniques in a software engineering environment. It will thus be a valuable reference for researchers and software developers and can also be used as a text for an advanced course on the subject.

Details of the book - Lotosphere: Software Development with Lotos


EAN (ISBN-13): 9780792395294
ISBN (ISBN-10): 0792395298
Hardcover
Publishing year: 1995
Publisher: SPRINGER VERLAG GMBH
524 Pages
Weight: 0,894 kg
Language: eng/Englisch

Book in our database since 13.10.2007 13:40:25
Book found last time on 06.10.2017 13:37:51
ISBN/EAN: 9780792395294

ISBN - alternate spelling:
0-7923-9529-8, 978-0-7923-9529-4


< to archive...
Related books