MPG.eBooks - Search Results - "prove"

Search alternatives:
"prove" » "proven"

Cover Image

1

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

by Wasserrab, Daniel
Published 2011

KIT Scientific Publishing

Subjects: “...Theorem Proving...”

Cover Image

2

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

by Weiß, Benjamin
Published 2011

KIT Scientific Publishing

Subjects: “...theorem proving...”

Cover Image

3

Verification-based software-fault detection

by Gladisch, Christoph David
Published 2011

KIT Scientific Publishing

Subjects: “...Theorem Proving...”

Cover Image

4

Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 : Archivalien im Land Brandenburg - Teil I: Brandenburgisches Landeshauptarchiv (1. Haelfte). Bea...

by Kloosterhuis, Jürgen
Published 2014

Peter Lang International Academic Publishing Group

Subjects: “...Pröve...”

Cover Image

5

Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 : Archivalien im Land Brandenburg - Teil II: Brandenburgisches Landeshauptarchiv (2. Haelfte). Be...

by Kloosterhuis, Jürgen
Published 2014

Peter Lang International Academic Publishing Group

Subjects: “...Pröve...”

Cover Image

6

Militaer und Gesellschaft in Preußen - Quellen zur Militaersozialisation 1713-1806 : Archivalien im Land Brandenburg - Teil III: Kirchliche, kommunale und sonstige Archive. Sachsys...

by Kloosterhuis, Jürgen
Published 2014

Peter Lang International Academic Publishing Group

Subjects: “...Pröve...”

Cover Image

7

10th Anniversary of <em>Axioms</em>: Logic

by Castillo, Oscar
Published 2023

MDPI - Multidisciplinary Digital Publishing Institute

Subjects: “...proving...”

Cover Image

8

Autonomous Vehicles Technological Trends

by Iclodean, Calin
Published 2023

MDPI - Multidisciplinary Digital Publishing Institute

Subjects: “...proving ground...”