Libri di Dines Bjørner
Tutti i risultati (16)
-
Logics of Specification Languages
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane296,30 € -
Software Engineering 3: Domains, Requirements, and Software Design
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane171,60 € -
Software Engineering 1: Abstraction and Modelling
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,40 € -
Logics of Specification Languages
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane205,00 € -
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane132,20 € -
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,30 € -
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,10 € -
Baltic Computer Science: Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,10 € -
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,60 € -
Software Engineering 3: Domains, Requirements, and Software Design
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane129,10 € -
Software Engineering 2: Specification of Systems and Languages
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane59,80 € -
Software Engineering 1: Abstraction and Modelling
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane129,40 € -
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,60 € -
Towards a Formal Description of Ada
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1980Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,50 € -
The Structure of Pure Reason: Philosophy’s View of Our Situation in the World
Venditore: FeltrinelliSpringer International Publishing AG, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane155,60 € -
Domain Science and Engineering: A Foundation for Software Development
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2022Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane220,50 €
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.
