Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 25,03 €, prix le plus élevé: 232,11 €, prix moyen: 175,38 €
LOTOSphere:  Software Development with LOTOS
Livre non disponible
(*)
LOTOSphere: Software Development with LOTOS - nouveau livre

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

Nouveaux livres Indigo.ca
new Free shipping on orders above $25 Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
LOTOSphere: Software Development with LOTOS - Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers
Livre non disponible
(*)
Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers:
LOTOSphere: Software Development with LOTOS - nouveau livre

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

Nouveaux livres Springer.com
Frais d'envoi EUR 0.00
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
LOTOSphere - Tommaso Bolognesi
Livre non disponible
(*)
Tommaso Bolognesi:
LOTOSphere - edition reliée, livre de poche

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

Nouveaux livres Bookdepository.com
Frais d'envoiVersandkostenfrei (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
LOTOSphere : Software Development with LOTOS - Bolognesi, Tommaso (editor); Van Lagemaat, Jeroen (editor); Vissers, Chris (editor)
Livre non disponible
(*)
Bolognesi, Tommaso (editor); Van Lagemaat, Jeroen (editor); Vissers, Chris (editor):
LOTOSphere : Software Development with LOTOS - edition reliée, livre de poche

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

livre d'occasion Biblio.com
bookstore brengelman
Frais d'envoi EUR 20.03
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
LOTOSphere - Tommaso Bolognesi; Jeroen van de Lagemaat; Chris A. Vissers
Livre non disponible
(*)
Tommaso Bolognesi; Jeroen van de Lagemaat; Chris A. Vissers:
LOTOSphere - edition reliée, livre de poche

1995, ISBN: 9780792395294

ID: 547618

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

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
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.

Informations détaillées sur le livre - Lotosphere: Software Development with Lotos


EAN (ISBN-13): 9780792395294
ISBN (ISBN-10): 0792395298
Version reliée
Date de parution: 1995
Editeur: SPRINGER VERLAG GMBH
524 Pages
Poids: 0,894 kg
Langue: eng/Englisch

Livre dans la base de données depuis 13.10.2007 13:40:25
Livre trouvé récemment le 06.10.2017 13:37:51
ISBN/EAN: 9780792395294

ISBN - Autres types d'écriture:
0-7923-9529-8, 978-0-7923-9529-4


< pour archiver...
Livres en relation