Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Regione Sardegna

Altre azioni
Torna Indietro Torna Indietro

VDM '87 : VDM- a formal method at work

VDM Europe symposium <1987

VDM '87 : VDM- a formal method at work
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

VDM '87 : VDM- a formal method at work

Nomi

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

Classe Dewey

005.1 ELABORAZIONE DEI DATI. PROGRAMMAZIONE

Descrizione

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

Descrizione Fisica

ix, 422 p ; 24 cm

Numeri Standard

ISBN: 0387176543
ISBN: 3540176543, Berlin

Data

c1987

Luogo di pubblicazione

Berlin

Paese

GERMANIA, REPUBBLICA DEMOCRATICA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0267632

Link Risorse

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

Tag

Altre azioni

Immagini

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

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

Anno : 2013

Risultati 2 di 83208

Visualizza Tutti Visualizza Tutti

Testi

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

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

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

Autore : VDM Europe

Anno : 1991

Risultati 2 di 2185949

Visualizza Tutti Visualizza Tutti

Video

Cargo

Cargo

Autore : Men at Work <gruppo musicale>

Anno : 2003
Maternity protection at work

Maternity protection at work

Anno : 2011

Risultati 2 di 70631

Visualizza Tutti Visualizza Tutti

Audio

Band at work

Band at work

Autore : Finley <gruppo musicale>

Anno : 2009
Get rhythm

Get rhythm

Autore : Cooder, Ry

Anno : 1987

Risultati 2 di 25640

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento