- 5 Risultati
prezzo più basso: € 9,84, prezzo più alto: € 186,14, prezzo medio: € 123,07
1
LOTOSphere: Software Development with LOTOS
Ordina
da Springer.com
€ 160,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

LOTOSphere: Software Development with LOTOS - nuovo libro

ISBN: 9780792395294

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and pr… Altro …

Nr. 978-0-7923-9529-4. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (X)
2
LOTOSphere: Software Development with LOTOS
Ordina
da amazon.com
$ 141,59
(indicativi € 127,29)
Spedizione: € 15,241
Ordina
Dettagli del offerente
Link sponsorizzato
LOTOSphere: Software Development with LOTOS - copertina rigida, flessible

1995, ISBN: 9780792395294

Editor: Bolognesi, Tommaso, Editor: van de Lagemaat, Jeroen, Editor: Vissers, Chris, Springer, Hardcover, Auflage: 1995, 510 Seiten, Publiziert: 1995-01-31T00:00:01Z, Produktgruppe: Book,… Altro …

Gebraucht, wie neu. Costi di spedizione:Usually ships within 13 to 14 days. Les coûts d'expédition peuvent différer des coûts réels. (EUR 15.24) tabletopart
Chiudere (X)
3
LOTOSphere: Software Development with LOTOS
Ordina
da amazon.com
$ 146,38
(indicativi € 131,60)
Ordina
Dettagli & spedizione
Link sponsorizzato
LOTOSphere: Software Development with LOTOS - copertina rigida, flessible

1995

ISBN: 9780792395294

Editor: Bolognesi, Tommaso, Editor: van de Lagemaat, Jeroen, Editor: Vissers, Chris, Springer, Hardcover, Auflage: 1995, 510 Seiten, Publiziert: 1995-01-31T00:00:01Z, Produktgruppe: Book,… Altro …

Costi di spedizione:Available to ship in 1-2 days. Lieferung von Amazon., Costi di spedizione aggiuntivi Amazon.com
Chiudere (X)
4
Lotosphere: Software Development with Lotos - Bolognesi, Tommaso|Lagemaat, Jeroen van de|Vissers, Chris
Ordina
da AbeBooks.fr
€ 186,14
Spedizione: € 15,001
Ordina
Dettagli del offerente
Link sponsorizzato
Bolognesi, Tommaso|Lagemaat, Jeroen van de|Vissers, Chris:
Lotosphere: Software Development with Lotos - copertina rigida, flessible

1995, ISBN: 0792395298

[EAN: 9780792395294], Nouveau livre, [SC: 15.0], [PU: Springer US], COMPUTERS - LANGUAGES PROGRAMMING SYSTEMS ARCHITECTURE GENERAL SOFTWARE DEVELOPMENT & ENGINEERING BROWSER C LANGUAGE CO… Altro …

NEW BOOK. Costi di spedizione: EUR 15.00 moluna, Greven, Germany [73551232] [Note: 4 (sur 5)]
Chiudere (X)
5
Ordina
da alibris.co.uk
€ 9,84
Ordina
Dettagli & spedizione
Link sponsorizzato
Bolognesi, Tommaso (Editor), and Van De Lagemaat, Jeroen (Editor), and Vissers, Chris (Editor):
Lotosphere: Software Development With Lotos - copertina rigida, flessible

1995, ISBN: 9780792395294

Hardcover, Ex-library copy with usual markings. Very Clean Copy-Over 500, 000 Internet Orders Filled., Gebraucht, guter Zustand, [PU: Springer]

Costi di spedizione:Costi di spedizione aggiuntivi Simi Valley, CA, Books From California
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
LOTOSphere: Software Development with LOTOS
Autore:
Titolo:
ISBN:

0792395298


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.

Informazioni dettagliate del libro - LOTOSphere: Software Development with LOTOS


EAN (ISBN-13): 9780792395294
ISBN (ISBN-10): 0792395298
Copertina rigida
Anno di pubblicazione: 1995
Editore: Springer
524 Pagine
Peso: 0,894 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-10-13T13:40:25+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-04-02T18:31:29+02:00 (Rome)
ISBN/EAN: 0792395298

ISBN - Stili di scrittura alternativi:
0-7923-9529-8, 978-0-7923-9529-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : bolognesi, chris visser
Titolo del libro: lotos, software

Dati dell'editore

Autore: Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers
Titolo: LOTOSphere: Software Development with LOTOS
Editore: Springer; Springer US
488 Pagine
Anno di pubblicazione: 1995-01-31
New York; NY; US
Peso: 1,980 kg
Lingua: Inglese
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XXII, 488 p.

BB; Programming Languages, Compilers, Interpreters; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Browser; C programming language; Compiler; Language of Temporal Ordering Specification; Standard; communication; development; production; Software Engineering/Programming and Operating Systems; Artificial Intelligence; Processor Architectures; Electrical Engineering; Compilers and Interpreters; Software Engineering; Artificial Intelligence; Processor Architectures; Electrical and Electronic Engineering; Software Engineering; Künstliche Intelligenz; Rechnerarchitektur und Logik-Entwurf; Elektrotechnik; BC; EA

Preface. Part I: Introduction and Overview. 1. LOTOSphere, an Attempt towards a Design Culture; C.A. Vissers, L. Ferreira Pires, J. van de Lagemaat. 2. The LOTOSphere Design Methodology; J. Quemada, A. Azcorra, S. Pavón. 3. Design and Implementation Strategies; J. Schot, L. Ferreira Pires. 4. Getting to Use the LOTOSphere Integrated Tool Environment (LITE); J.A. Mañas. 5. LOTOS Industrial Applications. 6. Applying LOTOS to OSI Application Layer Protocols; R.E. Booth. Part II: Specification and Transformation. 7. LOTOS Specification Style for OSI; K.J. Turner, M. van Sinderen. 8. Correctness Preserving Transformations for the Early Phases of Software Development; T. Bolognesi, D. De Frutos, R. Langerak, D. Latella. 9. Correctness Preserving Transformations for the Late Phases of Software Development; A. Fantechi, B. Mekhanet, E. Najm, P. Cunha, J. Queiroz. 10. A Case Study on Protocol Design; J.-P. Courtiat, D.-E. Saïdouni. Part II: Analysis. 11. Executing LOTOS Specifications: the SMILE Tool; H. Eertink. 12. A Pragmatic Approach to Verification, Validation and Compilation; T. Miguel, A. Azcorra, J. Quemada, J.A. Mañas. 13. An Exercise in Protocol Verification; S. Gnesi, E. Madelaine, G. Ristori. 14. A Tool for Checking ADT Completeness and Consistency; D. Wolz. 15. Deriving Tests from LOTOS Specifications; T. Bolognesi, D. De Frutos, R. Langerak, D. Latella. Part IV: Implementation. 16. The COLOS Compiler; K. Warkentyne, E. Dubuis.17. TP Protocol from Specification to Implementation; I. Widya, G.-J. van der Heijden, F. Juillot. 18. Realization of CCR in C; V. Jones. 19. ALTO: an Interactive Transformation Tool for LOTOS and LOTOMATION; E. Najm, A. Serhrouchni, A. Lakas, E. Madelaine, R. de Simone. Part V: Graphical LOTOS. 20. G-LOTOS: a Graphical Language for Concurrent Systems; T. Bolognesi, E. Najm, P.A.J. Tilanus. 21. GLOW 3.0 -- a Graphical LOTOS Browser; T. Bolognesi, M. Caneve, E. Salvatori. Part VI: LOTOS Enhancements. 22. Enhancements of LOTOS; E. Brinksma, G. Leih. 23. Data Specifications in Modular LOTOS; R. Roth, J. de Meer, S. Storp. Index.

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9781461522034 LOTOSphere: Software Development with LOTOS (Michael J. Rosen)

< Per archiviare...