Libri di Egon Börger
Tutti i risultati (20)
-
Java and the Java Virtual Machine: Definition, Verification, Validation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,50 € -
Architecture Design and Validation Methods
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,90 € -
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,50 € -
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,50 € -
Architecture Design and Validation Methods
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane62,60 € -
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane135,70 € -
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,00 € -
Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,40 € -
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | MathematicsDisp. in 2 settimane67,20 € -
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | MathematicsDisp. in 2 settimane67,70 € -
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,50 € -
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | MathematicsDisp. in 2 settimane67,40 € -
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1988Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,10 € -
The Classical Decision Problem
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | MathematicsDisp. in 2 settimane248,40 € -
Java and the Java Virtual Machine: Definition, Verification, Validation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane130,30 € -
Computation Theory and Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,40 € -
Abstract State Machines: A Method for High-Level System Design and Analysis
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane62,10 € -
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,50 € -
Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Venditore: Feltrinelli73,50 € -
Structures of Computing: A Guide to Practice-Oriented Theory
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,10 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
