Treffer 1 - 14 von 14 für Suche 'Baber, Robert Laurence', Suchdauer: 0,42s
Treffer weiter einschränken
-
1
The language of mathematics utilizing math in practice von Baber, Robert Laurence
Veröffentlicht 2011Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
2
The language of mathematics utilizing math in practice von Baber, Robert Laurence
Veröffentlicht 2011Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
3
Error-free software know-how and know-why of program correctness von Baber, Robert Laurence
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4
Softwarereflexionen Ideen u. Konzepte für d. Praxis von Baber, Robert Laurence
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
The language of mathematics utilizing math in practice von Baber, Robert Laurence
Veröffentlicht 2011Signatur: Wird geladen …Volltext
Standort: Wird geladen …
Elektronisch E-Book -
6
The language of mathematics utilizing math in practice von Baber, Robert Laurence
Veröffentlicht 2011Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
7
The language of mathematics utilizing math in practice von Baber, Robert Laurence
Veröffentlicht 2011Signatur: Wird geladen …FRO01
Standort: Wird geladen …
TUM01
Volltext
Elektronisch E-Book -
8
Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit von Baber, Robert Laurence
Veröffentlicht 1995Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Abschlussarbeit Buch -
9
Softwarereflexionen Ideen u. Konzepte für d. Praxis von Baber, Robert Laurence
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10
Error-free software know-how and know-why of program correctness von Baber, Robert Laurence
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11
Fehlerfreie Programmierung für den Software-Zauberlehrling von Baber, Robert Laurence
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12
The spine of software designing provably correct software: theory and practice or, a mathematical introduction to the semanctics of computer programs von Baber, Robert Laurence
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13
Software reflected the socially responsible programming of our computers von Baber, Robert Laurence
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14
Software reflected the socially responsible programming of our computers von Baber, Robert Laurence
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Softwareentwicklung
Software Engineering
Formelsprache
Informatik
Mathematisches Zeichen
Programmverifikation
Software
Beweis
Korrektheit
Mathematical notation
Programm
Bug Informatik
Debugging
Englisch
English language Machine translating
Programmierung
Zuverlässigkeit
Computer programming Social aspects
Computer software Development
Computer software Reliability
Computers
Débogage
Gesellschaft
Génie logiciel
Kritik
Logiciels - Développement
Logiciels - Fiabilité
Programmeren (computers)
Sociale aspecten
conception logiciel