Menü schließen
Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens
Sardinienregion
Folge uns auf
Suchen Suche auf der Website

Sardinienregion

Andere Aktionen
Komm zurück Komm zurück

VDM '87 : VDM- a formal method at work

VDM Europe symposium <1987

VDM '87 : VDM- a formal method at work
Information
Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

VDM '87 : VDM- a formal method at work

Namen

Bjorner, Dines <1937- >
[Autore] VDM Europe symposium <1987

Dewey -Klasse

005.1 ELABORAZIONE DEI DATI. PROGRAMMAZIONE

Beschreibung

VDM '87 : VDM- a formal method at work / edited by D. Bjorner ... [et al.]

Physische Beschreibung

ix, 422 p ; 24 cm

Standardzahlen

ISBN: 0387176543
ISBN: 3540176543, Berlin

Datum

c1987

Ort der Veröffentlichung

Berlin

Dorf

GERMANIA, REPUBBLICA DEMOCRATICA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0267632

Ressourcenverbindungen

http://id.sbn.it/bid/PUV0267632
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Etikett

Andere Aktionen

Bilder

Big data : a revolution that will transform how we live, work and think

Big data : a revolution that will transform how we live, work and think

Jahr : 2013
Big data : a revolution that will transform how we live, work and think

Big data : a revolution that will transform how we live, work and think

Jahr : 2013

Ergebnisse 2 von 83208

Alle ansehen Alle ansehen

Texte

VDM '90, VDM and Z-formal methods in software development : third International symposium of VDM Europe, Kiel, FRG, April 17-21 1990

VDM '90, VDM and Z-formal methods in software development : third International symposium of VDM Europe, Kiel, FRG, April 17-21 1990

Autor : International Symposium of VDM Europe <3 : 1990 : Kiel>

Jahr : 1990
VDM '91 formal software development methods : 4. international symposium of VDM Europe

VDM '91 formal software development methods : 4. international symposium of VDM Europe

Autor : VDM Europe

Jahr : 1991

Ergebnisse 2 von 2185949

Alle ansehen Alle ansehen

Video

Cargo

Cargo

Autor : Men at Work <gruppo musicale>

Jahr : 2003
Maternity protection at work

Maternity protection at work

Jahr : 2011

Ergebnisse 2 von 70631

Alle ansehen Alle ansehen

Audio

Band at work

Band at work

Autor : Finley <gruppo musicale>

Jahr : 2009
Get rhythm

Get rhythm

Autor : Cooder, Ry

Jahr : 1987

Ergebnisse 2 von 25640

Alle ansehen Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken
Schreibe einen Kommentar