Тема, жанр, tags: Logics and Meanings of Programs » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs » Page 3

book Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

pdf

Author: Tiziana Margaria Bernhard Steffen
Language: English
Year: 2020

00

07.02.2024

0

0

book Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18–20, 1992 Proceedings

pdf

Author: Amir Pnueli (auth.) Rudrapatna Shyamasundar (eds.)
Language: English
Year: 1992

00

06.02.2024

0

0

book Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings

pdf

Author: John C. Knight (auth.) Anders P. Ravn Hans Rischel (eds.)
Language: English
Year: 1998

00

06.02.2024

0

0

book Specification of Software Systems

Specification of Software Systems

pdf

Author: V.S. Alagar K. Periyasamy (auth.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

pdf

Author: Gilles Dowek Jean-Jacques Lévy (auth.)
Language: English
Year: 2011

00

06.02.2024

0

0

book The Design of Well-Structured and Correct Programs

The Design of Well-Structured and Correct Programs

pdf

Author: Suad Alagić Michael A. Arbib (auth.)
Language: English
Year: 1978

00

06.02.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

Author: Prof. Dr. Dines Bjørner (auth.)
Language: English
Year: 2006

00

06.02.2024

0

0

book ECOOP 2006 – Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

ECOOP 2006 – Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

pdf

Author: Erich Gamma (auth.) Dave Thomas (eds.)
Language: English
Year: 2006

00

06.02.2024

0

0

book A General Framework for Reasoning On Inconsistency

A General Framework for Reasoning On Inconsistency

pdf

Author: Maria Vanina Martinez Cristian Molinaro V.S. Subrahmanian Leila Amgoud (auth.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

pdf

Author: Michael Codish Yoav Fekete Amit Metodi (auth.) Valeria Bertacco Axel Legay (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0