Verfasser Suchresultate :: Subito Katalog

1

Echoes : the stories behind every Pink Floyd song

Veröffentlicht 1996

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Special issue on automated verification of critical systems (AVoCS 2011) : [... eleventh International Workshop on ...held on September 12 - 14, 2011 in Newcastle upon Tyne, UK ....

Veröffentlicht 2014

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

The early search for tractable ways of reasoning about programs

von Jones, Cliff B.
Veröffentlicht in IEEE annals of the history of computing / publ. by the IEEE Computer Society (2003)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Mural: a formal development support system

Veröffentlicht 1991

Cover
Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Software development : a rigorous approach

von Jones, Cliff B.
Veröffentlicht 1980

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Systematic software development using VDM

von Jones, Cliff B.
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

s. Bekic, Hans: Programming languages and their definition

von Jones, Cliff B.
Veröffentlicht 1984

Katalogkarte der UB Frankfurt

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Software development: a rigorous approach

von Jones, Cliff B.
Veröffentlicht 1980

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Systematic software development using VDM

von Jones, Cliff B.
Veröffentlicht 1986

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads

von Jones, Cliff B.
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Systematic software development using VDM

von Jones, Cliff B.
Veröffentlicht 1990

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

s. Vienna-development-method, The

von Jones, Cliff B.
Veröffentlicht 1978

Katalogkarte der UB Frankfurt

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Mural : a formal development support system

Veröffentlicht 1991

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Systematic software development using VDM

von Jones, Cliff Bryn
Veröffentlicht 1991

Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Software development : a rigorous approach

von Jones, Cliff B.
Veröffentlicht 1980

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Case studies in systematic software development

Veröffentlicht 1990

Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Software development : a rigorous approach

von Jones, Cliff B.
Veröffentlicht 1980

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Systematic software development using VDM

von Jones, Cliff B.
Veröffentlicht 1990

Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Systematic software development using VDM

von Jones, Cliff B.
Veröffentlicht 1986

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Software development: a rigorous approach

von Jones, Cliff B.
Veröffentlicht 1980

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: