MPG.eBooks - Search Results

1

SOFSEM 2017: Theory and Practice of Computer Science...

Published 2017

Springer International Publishing

Table of Contents: “... conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories...”

Read Now

2

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...

Published 2014

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

3

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Octobe...

Published 2014

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

4

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2...

Published 2016

Springer International Publishing

Table of Contents: “... -- Towards Functional Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static...”

Read Now

5

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...

Published 2016

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

6

Correct System Design : Recent Insights and Advances

Published 1999

Springer Berlin Heidelberg

Table of Contents: “...Methodology -- Theories of programming: Top-Down and Bottomup and Neeting in the Middle -- A...”

Read Now

7

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...

Published 2020

Springer International Publishing

Table of Contents: “... at the Virtual Machine Level -- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification...”

Read Now

8

Grundlagen der höheren Informatik : Induktives Vorgehen

by Steffen, Bernhard, Rüthing, Oliver, Isberner, Malte
Published 2014

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

9

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...

Published 2019

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

10

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Pro...

Published 2022

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

11

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part...

Published 2022

Springer Nature Switzerland

Subjects: “...Data Structures and Information Theory...”

Read Now

12

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches

by Steffen, Bernhard, Rüthing, Oliver, Huth, Michael
Published 2018

Springer International Publishing

Subjects: “...Theory of Computation...”

Read Now

13

Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia -- ASERE: Assuring...”

Read Now

14

Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of...

Published 1998

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

15

Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of...

by Steffen, Bernhard
Published 1998

Springer Berlin Heidelberg

Read Now

16

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Pro...

Published 2022

Springer Nature Switzerland

Subjects: “...Theory of Computation...”

Read Now

17

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Published 1996

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

18

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Published 2012

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

19

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I...

Published 2012

Springer Berlin Heidelberg

Table of Contents: “...-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice...”

Read Now

20

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part...

Published 2018

Springer International Publishing

Table of Contents: “... Approach to Support Large-Scale Deductive Program Verification -- Type Theory as a Framework for Modelling...”

Narrow Search