Systematic software development using VDM

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/5508498#Topic/oprogramowanie_rozwoj
http://experiment.worldcat.org/entity/work/data/5508498#Topic/computer_software_development
http://experiment.worldcat.org/entity/work/data/5508498#Topic/methode_formelle
http://experiment.worldcat.org/entity/work/data/5508498#Topic/logiciels
http://experiment.worldcat.org/entity/work/data/5508498#Topic/programari_enginyeria_requeriments_especificacions
http://experiment.worldcat.org/entity/work/data/5508498#Topic/logiciel_developpement
http://experiment.worldcat.org/entity/work/data/5508498#Topic/computer_software_development_mathematical_models
http://id.loc.gov/authorities/subjects/sh85029535
http://experiment.worldcat.org/entity/work/data/5508498#Topic/softwareentwicklung
http://experiment.worldcat.org/entity/work/data/5508498#Topic/programes_d_ordinador_enginyeria
http://experiment.worldcat.org/entity/work/data/5508498#Topic/langages_de_programmation
http://experiment.worldcat.org/entity/work/data/5508498#Topic/vienna_development_method
http://experiment.worldcat.org/entity/work/data/5508498#Topic/developpement_logiciel
http://experiment.worldcat.org/entity/work/data/5508498#Topic/elaboratori_elettronici_programmazione
http://experiment.worldcat.org/entity/work/data/5508498#Topic/racunalnistvo_programska_oprema_razvoj_programiranje
http://experiment.worldcat.org/entity/work/data/5508498#Topic/logiciels_developpement
http://experiment.worldcat.org/entity/work/data/5508498#Topic/programas_y_sistemas_de_programacion
http://id.worldcat.org/fast/872537
http://experiment.worldcat.org/entity/work/data/5508498#Topic/programmering
http://experiment.worldcat.org/entity/work/data/5508498#Topic/vdm
http://experiment.worldcat.org/entity/work/data/5508498#Topic/specification_logiciel
http://experiment.worldcat.org/entity/work/data/5508498#Topic/software

http://schema.org/alternateName

"VDM"
"VDM"@en
"Systematic software development using VDM"

http://schema.org/author

http://worldcat.org/entity/person/id/2634562424
http://worldcat.org/entity/person/id/2641523065

http://schema.org/contributor

http://worldcat.org/entity/person/id/2686978947
http://worldcat.org/entity/person/id/2627108182
http://worldcat.org/entity/person/id/2641523065
http://worldcat.org/entity/person/id/2640623555

http://schema.org/creator

http://worldcat.org/entity/person/id/2674757732
http://worldcat.org/entity/person/id/2699266440
http://worldcat.org/entity/person/id/2641523065

http://schema.org/name

"Systematic software development using VDM : teacher's note"
"Systematic Software Development Using VDM"
"Systematic software development using VDM"
"Systematic software development using VDM"@en
"VDM une méthode rigoureuse pour le développement du logiciel"
"VDM : une méthode rigoureuse pour le développement du logiciel"
"Systematic sofware development using VDM"

http://schema.org/workExample

http://www.worldcat.org/oclc/493180179
http://www.worldcat.org/oclc/901938051
http://www.worldcat.org/oclc/636817212
http://www.worldcat.org/oclc/751538165
http://www.worldcat.org/oclc/636631264
http://www.worldcat.org/oclc/81145839
http://www.worldcat.org/oclc/797216220
http://www.worldcat.org/oclc/638828536
http://www.worldcat.org/oclc/246967708
http://www.worldcat.org/oclc/779113904
http://www.worldcat.org/oclc/611858643
http://www.worldcat.org/oclc/789399315
http://www.worldcat.org/oclc/802426351
http://www.worldcat.org/oclc/258518385
http://www.worldcat.org/oclc/644008535
http://www.worldcat.org/oclc/20355316
http://www.worldcat.org/oclc/456154065
http://www.worldcat.org/oclc/756972175
http://www.worldcat.org/oclc/220697076
http://www.worldcat.org/oclc/561361793
http://www.worldcat.org/oclc/816946314
http://www.worldcat.org/oclc/891114034
http://www.worldcat.org/oclc/27454330
http://www.worldcat.org/oclc/464803981
http://www.worldcat.org/oclc/473810706
http://www.worldcat.org/oclc/257957697
http://www.worldcat.org/oclc/612161119
http://www.worldcat.org/oclc/438987519
http://www.worldcat.org/oclc/877457667
http://www.worldcat.org/oclc/13063727

Computer software Development

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.