booktheque

Logic of Programming and Calculi of Discrete Design

Manfred Broy · 1987

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

על הספר

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. The proceedings give an excellent overview of the state of the art in formal methods of program design. The book treats both logic in programming and formal calculi in the discrete design of programs and systems, including foundations of logic, equational logic, modal logics, support systems for logical reasoning, and design calculi for programs and program specifications.

פרטי הספר

שנה
1987
שפה
English
סדרה
NATO ASI Series, Series F: Computer and Systems Sciences -- 36
הוצאה
Springer Berlin Heidelberg
מהדורות
1
עמודים
415
ISBN
9783642873744

מקור הנתונים: Wikidata

עוד של Manfred Broy

Software Pioneers
Manfred Broy · 2002
Specification and Development of Interactive Systems
Manfred Broy · 2001
Mathematical Methods in Program Development
Manfred Broy · 1997
Programming and Mathematical Method
Manfred Broy · 1992
Constructive Methods in Computing Science
Manfred Broy · 1989
Engineering Theories of Software Intensive Systems
Manfred Broy · 2005
Pioneers and Their Contributions to Software Engineering
Manfred Broy · 2001
Specification and development of interactive systems
Manfred Broy · 2001
Control Flow and Data Flow: Concepts of Distributed Programming
Manfred Broy · 1985
Logische und Methodische Grundlagen der Programm- und Systementwicklung
Manfred Broy · 2019