Libri di Manfred Broy
-
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme: Unter Mitarbeit von Alexander Malkis
Venditore: FeltrinelliSpringer Fachmedien Wiesbaden, 2023Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane48,10 € -
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis
Venditore: FeltrinelliSpringer Fachmedien Wiesbaden, 2019Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane45,60 € -
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 & TechnologyDisp. 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 & TechnologyDisp. in 2 settimane137,20 € -
Informatik und Mathematik
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane98,60 € -
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 & TechnologyDisp. in 2 settimane136,50 € -
Deductive Program Design
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane273,50 € -
Mathematical Methods in Program Development
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane135,60 € -
Software Pioneers: Contributions to Software Engineering
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane196,40 € -
Modellbildung in der Informatik
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane37,30 € -
Program Design Calculi
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisp. 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 & TechnologyDisp. 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 & TechnologyDisp. in 2 settimane132,20 € -
Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane42,70 € -
Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane48,10 € -
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 & TechnologyDisp. 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 & TechnologyDisp. in 2 settimane66,30 € -
Deductive Program Design
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisp. 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 & TechnologyDisp. in 2 settimane67,00 € -
Informatik. Eine grundlegende Einführung: Teil III: Systemstrukturen und systemnahe Programmierung
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane87,50 € -
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 & TechnologyDisp. in 2 settimane67,10 € -
Program Design Calculi
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane268,60 € -
Informatik: Eine grundlegende Einführung Teil I. Problemnahe Programmierung
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane87,10 € -
Methods of Programming: Selected Papers on the CIP-Project
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,50 € -
Modellbildung in der Informatik
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane44,90 €
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.