Verfasser Suchresultate :: Subito Katalog

1

Why3-do: The Way of Harmonious Distributed System Proofs

von Lourenco, Claudio Belo
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Testing for Race Conditions in Distributed Systems via SMT Solving

von Pereira, Jodo Carlos
Veröffentlicht in TAP (14. : 2020 : Online) Tests and proofs (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Rigorous software development : an introduction to program verification

Veröffentlicht 2011

Inhaltstext
Inhaltsverzeichnis
Verlagsangaben
Autorenbiografie
Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: