Libri di Manfred Broy
Tutti i risultati (26)
-
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane123,10 € -
Programming and Mathematical Method: International Summer School
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,20 € -
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane136,50 € -
Deductive Program Design
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane273,50 € -
Mathematical Methods in Program Development
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,60 € -
Software Pioneers: Contributions to Software Engineering
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane196,40 € -
Program Design Calculi
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane273,50 € -
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane100,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 Systems Specification: The RPC-Memory Specification Case Study
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,30 € -
Deductive Program Design
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane268,50 € -
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,00 € -
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 € -
Program Design Calculi
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane268,60 € -
Methods of Programming: Selected Papers on the CIP-Project
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,50 € -
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,10 € -
Model-Based Testing of Reactive Systems: Advanced Lectures
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,10 € -
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,70 € -
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1986Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane136,70 € -
Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology
Venditore: FeltrinelliSpringer International Publishing AG, 2018Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology
Venditore: Feltrinelli61,00 € -
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,60 € -
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane273,90 € -
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane269,00 €
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.
