Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Sardinia region

Other actions
Come Back Come Back

VDM '87 : VDM- a formal method at work

VDM Europe symposium <1987

VDM '87 : VDM- a formal method at work
Information
You can find it in

Category

Testo

Nature

Monografia

Title

VDM '87 : VDM- a formal method at work

Names

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

Dewey class

005.1 ELABORAZIONE DEI DATI. PROGRAMMAZIONE

Description

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

Physical description

ix, 422 p ; 24 cm

Standard numbers

ISBN: 0387176543
ISBN: 3540176543, Berlin

Date

c1987

Place of publication

Berlin

Village

GERMANIA, REPUBBLICA DEMOCRATICA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0267632

Resources links

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

Tag

Other actions

Images

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

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

Year : 2013

Results 2 of 83208

View All View All

Texts

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

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

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

Author : VDM Europe

Year : 1991

Results 2 of 2185949

View All View All

Video

Cargo

Cargo

Author : Men at Work <gruppo musicale>

Year : 2003
Maternity protection at work

Maternity protection at work

Year : 2011

Results 2 of 70631

View All View All

Audio

Band at work

Band at work

Author : Finley <gruppo musicale>

Year : 2009
Get rhythm

Get rhythm

Author : Cooder, Ry

Year : 1987

Results 2 of 25640

View All View All

Comments

Load others

Write a comment

Send
Write a comment