Global concerns

von Foster, Simon
Veröffentlicht 2003

Human rights

von Foster, Simon
Veröffentlicht 2003

Democracy in action

von Foster, Simon
Veröffentlicht 2003

Okinawa 1945 : final assault on the empire

von Foster, Simon
Veröffentlicht 1994

Hit the beach! : amphibious warfare from the Plains of Abraham to San Carlos Water

von Foster, Simon
Veröffentlicht 1995

Hit the beach! : amphibious warfare from the Plains of Abraham to San Carlos Water

von Foster, Simon
Veröffentlicht 1995

Okinawa 1945 : final assault on the Empire

von Foster, Simon
Veröffentlicht 1994

Automated Algebraic Reasoning for Collections and Local Variables with Lenses

von Foster, Simon
Veröffentlicht in RAMiCS (18. : 2020 : Online) Relational and algebraic methods in computer science (2020)

The rough guide to Egypt

von Richardson, Dan
Veröffentlicht 2000

Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving

von Ye, Kangfeng
Veröffentlicht in RAMiCS (19. : 2021 : Marseille) Relational and algebraic methods in computer science (2021)

The application of formal methods : essays dedicated to Jim Woodcock on the occasion of his retirement

Veröffentlicht 2024

The rough guide to China

von Leffman, David
Veröffentlicht 2005

Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

von Foster, Simon
Veröffentlicht in RAMiCS (18. : 2020 : Online) Relational and algebraic methods in computer science (2020)

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

von Foster, Simon
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)