Verfasser Suchresultate :: Subito Katalog

1

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:
2

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:
3

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:
4

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:
5

Mural : a formal development support system

Veröffentlicht 1991

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

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:
7

Case studies in systematic software development

Veröffentlicht 1990

Inhaltstext

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 1990

Inhaltstext

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

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:
11

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:
12

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:
13

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:
14

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:
15

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:
16

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:
17

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:
18

Programming languages and their definition : H. Bekič (1936 - 1982) ; selected papers

von Bekič, Hans
Veröffentlicht 1984

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Programming languages and their definition : selected papers

von Bekič, Hans
Veröffentlicht 1984

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Building a better mousetrap : studies in the science of management ; papers in honour of Don Leech

Veröffentlicht 1995

Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: