search for books and compare prices
Manfred Broy has written 46 work(s)
Search for other authors with the same name
at beginning |
displaying 1 to 25 |
next 21 >
show results in order: alphabetically | oldest to newest | newest to oldest
Hardcover:
9789027714602 | D Reidel Pub Co, December 1, 1982, cover price $99.00 | About this edition: Papers presented at the Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology, organized under the auspices of the Technical University Münich and sponsored by the NATO Scientific Affairs Division, Germany, 1981
Paperback:
9780387170824 | Reprint edition (Springer Verlag, October 1, 1986), cover price $40.00 | also contains Qisharim: A Textbook for Advanced Learners of Hebrew
Product Description: In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts. The foundati ons of di stributed programming compri se all the fasci nating questions of computing science: the development of adequate com putational , conceptual and semantic model s for distributed systems, specification methods, verification techniques, transformation rules, the development of suitable representations by programming languages, evaluation and execution of programs describing distributed systems...read more
Paperback:
9783540170822 | Springer-Verlag New York Inc, December 1, 1986, cover price $149.00 | About this edition: In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts.
Product Description: This volume contains the proceedings of the NATO-sponsored Advanced Research Study Institute on Logic of Programming and Calculi of Discrete Design, held in continuation of the series of well-known summer schools in Marktoberdorf, July 29-August 10, 1986...read more
Hardcover:
9780387180038 | Springer Verlag, October 1, 1987, cover price $116.00 | About this edition: This volume contains the proceedings of the NATO-sponsored Advanced Research Study Institute on Logic of Programming and Calculi of Discrete Design, held in continuation of the series of well-known summer schools in Marktoberdorf, July 29-August 10, 1986.
Product Description: Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science...read more
Hardcover:
9780387513690 | Springer Verlag, November 1, 1989, cover price $153.00 | About this edition: Computing Science is a science of constructive methods.
Product Description: Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik." Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anlasslich des 65...read more
Hardcover:
9783540541080 | Gardners Books, September 27, 1991, cover price $66.35 | About this edition: Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik.
Paperback:
9783642766787 | Pap/psc re edition (Springer-Verlag New York Inc, December 23, 2011), cover price $69.99 | About this edition: Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik.
Paperback:
9780387551913 | Springer Verlag, September 1, 1992, cover price $32.00
Product Description: The construction of a software system is a task that has to be structured to ensure that the software product fulfills all expectations and the process of producing it remains manageable and reliable. Mathematical methods, including logic, algebra and functional calculus, are needed to support structuring and provide notations and basic formal concepts for the foundations of software engineering...read more
Hardcover:
9780387555584 | Springer Verlag, September 1, 1992, cover price $146.00 | About this edition: The construction of a software system is a task that has to be structured to ensure that the software product fulfills all expectations and the process of producing it remains manageable and reliable.
Paperback:
9783540551911 | Springer-Verlag New York Inc, October 16, 1992, cover price $69.95
Paperback:
9780387569697 | Springer Verlag, September 1, 1993, cover price $24.00
Paperback:
9780387573168 | Springer Verlag, October 1, 1993, cover price $82.95
Product Description: The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step...read more
Hardcover:
9780387569437 | Springer Verlag, March 1, 1994, cover price $139.00 | About this edition: The development of information processing systems requires models, calculi, and theories for the analysis of computations.
9783540569435 | Springer-Verlag New York Inc, November 3, 1993, cover price $239.00 | About this edition: The development of information processing systems requires models, calculi, and theories for the ana.
Paperback:
9783642081644 | Springer-Verlag New York Inc, December 7, 2010, cover price $239.00 | About this edition: The development of information processing systems requires models, calculi, and theories for the analysis of computations.
Product Description: Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken für Systeme, z...read more
Paperback:
9783540576723 | Springer-Verlag New York Inc, August 3, 1994, cover price $69.95 | About this edition: Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung.
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
Paperback:
9780387605890, titled "Korso: Methods, Languages, and Tools for the Construction of Correct Software : Final Report" | Springer Verlag, December 1, 1995, cover price $98.00
9783540605898 | Springer Verlag, June 1, 1995, cover price $129.00 | About this edition: This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology.
Product Description: Dieser abschlieÃende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte...read more
Paperback:
9783540586029 | Springer-Verlag New York Inc, July 10, 1995, cover price $69.95 | About this edition: Dieser abschlieÃende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte.
Informatik: Eine Grundlegende Einfuhrung Teil II. Rechnerstrukturen Und Maschinennahe Programmierung
Product Description: Dieser zweite von vier Bänden zur Einführung in die Informatik behandelt die technische Informationsverarbeitung, von der Binärcodierung der Information über digitale Schaltungen und Rechnerarchitekturen bis hin zu maschinennaher Programmierung und dem Ãbergang zur (im ersten Band behandelten) problemnahen Programmierung...read more
Paperback:
9783540569695 | Springer-Verlag New York Inc, November 15, 1995, cover price $69.95 | About this edition: Dieser zweite von vier Bänden zur Einführung in die Informatik behandelt die technische Informationsverarbeitung, von der Binärcodierung der Information über digitale Schaltungen und Rechnerarchitekturen bis hin zu maschinennaher Programmierung und dem Ãbergang zur (im ersten Band behandelten) problemnahen Programmierung.
Product Description: The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification...read more (view table of contents, read Amazon.com's description)
Paperback:
9783540619840 | Springer Verlag, February 1, 1997, cover price $139.00 | About this edition: The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems.
Product Description: This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume...read more (view table of contents, read Amazon.com's description)
Paperback:
9783540620648 | Springer Verlag, April 1, 1997, cover price $129.00 | About this edition: This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.
(view table of contents)
Paperback:
9783540653097 | Springer Verlag, December 1, 1998, cover price $99.00
Product Description: This volume focuses on techniques and the scientific basis for calculation-based development of software and hardware systems as a foundation for advanced methods and tools for software and system engineering. (view table of contents, read Amazon.com's description)
Hardcover:
9789051994599 | Ios Pr Inc, January 1, 1999, cover price $173.00 | About this edition: This volume focuses on techniques and the scientific basis for calculation-based development of software and hardware systems as a foundation for advanced methods and tools for software and system engineering.
Paperback:
9783540671022 | Springer-Verlag New York Inc, February 1, 2000, cover price $149.00
Product Description: This text examines the software engineering techniques used for industrial tasks. Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks...read more
Hardcover:
9781586031725 | Ios Pr Inc, June 1, 2001, cover price $116.00 | About this edition: This text examines the software engineering techniques used for industrial tasks.
Product Description: Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere, formale Fundierung und begriffliche Klarheit aus...read more
Paperback:
9783540632344 | 2 edition (Springer-Verlag New York Inc, September 1, 2001), cover price $59.95 | About this edition: Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik.
Paperback:
9783540420651 | 2 edition (Springer-Verlag New York Inc, September 21, 2001), cover price $69.99
Product Description: This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement...read more (view table of contents, read Amazon.com's description)
Paperback:
9783540430759 | Springer Verlag, April 1, 2002, cover price $139.00 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
at beginning |
displaying 1 to 25 |
next 21 >