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,… Más…
amazon.com tabletopart Gebraucht, wie neu. Gastos de envío:Usually ships within 13 to 14 days. Les coûts d'expédition peuvent différer des coûts réels. (EUR 15.24) Details... |
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,… Más…
amazon.com Amazon.com Gastos de envío:Available to ship in 1-2 days. Lieferung von Amazon., más gastos de envío Details... |
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… Más…
AbeBooks.fr |
1995, ISBN: 9780792395294
Hardcover, Ex-library copy with usual markings. Very Clean Copy-Over 500, 000 Internet Orders Filled., Gebraucht, guter Zustand, [PU: Springer]
alibris.co.uk |
1995, ISBN: 9780792395294
1995-01-31. Good. Ex-library copy with usual markings., 1995-01-31
Biblio.co.uk |
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,… Más…
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,… Más…
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… Más…
1995, ISBN: 9780792395294
Hardcover, Ex-library copy with usual markings. Very Clean Copy-Over 500, 000 Internet Orders Filled., Gebraucht, guter Zustand, [PU: Springer]
1995, ISBN: 9780792395294
1995-01-31. Good. Ex-library copy with usual markings., 1995-01-31
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - LOTOSphere: Software Development with LOTOS
EAN (ISBN-13): 9780792395294
ISBN (ISBN-10): 0792395298
Tapa dura
Año de publicación: 1995
Editorial: Springer
524 Páginas
Peso: 0,894 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-10-13T06:40:25-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-07-23T21:46:51-06:00 (Mexico City)
ISBN/EAN: 9780792395294
ISBN - escritura alterna:
0-7923-9529-8, 978-0-7923-9529-4
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: bolognesi, chris visser
Título del libro: lotos, software
Datos del la editorial
Autor: Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers
Título: LOTOSphere: Software Development with LOTOS
Editorial: Springer; Springer US
488 Páginas
Año de publicación: 1995-01-31
New York; NY; US
Peso: 1,980 kg
Idioma: Inglés
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.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9781461522034 LOTOSphere: Software Development with LOTOS (Michael J. Rosen)
< para archivar...