- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540198130
354019813X
9780387198132
038719813X
- Extent
-
XVI, 362 S.
- Language
-
Englisch
- Bibliographic citation
-
Proof in VDM
- Event
-
Veröffentlichung
- (where)
-
London, Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, Milan, Paris, Santa Clara, Singapore
- (who)
-
Springer
- (when)
-
1994
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:25 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Springer
Time of origin
- 1994
Other Objects (12)
Forensic computing : a practitioner's guide
Proof in VDM, [...]. Case studies / with contrubutions from: Sten Agerholm ...
Proof Complexity for SAT practitioner
Designing software for the mobile context : a practitioner's guide
Video OCR: a survey and practitioner's guide
Pediatric rheumatology for the practitioner
Pediatric rheumatology for the practitioner
Successful career strategy : an HR practitioner's guide to reach your dream job
Pediatric infectious diseases for the practitioner
Practitioner's Guide to Health Informatics
Geographic medicine for the practitioner
General practitioner education : UK and Nordic perspectives
Forensic computing : a practitioner's guide
Proof in VDM, [...]. Case studies / with contrubutions from: Sten Agerholm ...
Proof Complexity for SAT practitioner
Designing software for the mobile context : a practitioner's guide
Video OCR: a survey and practitioner's guide
Pediatric rheumatology for the practitioner
Pediatric rheumatology for the practitioner
Successful career strategy : an HR practitioner's guide to reach your dream job
Pediatric infectious diseases for the practitioner
Practitioner's Guide to Health Informatics
Geographic medicine for the practitioner
General practitioner education : UK and Nordic perspectives
Forensic computing : a practitioner's guide
Proof in VDM, [...]. Case studies / with contrubutions from: Sten Agerholm ...
Proof Complexity for SAT practitioner
Designing software for the mobile context : a practitioner's guide
Video OCR: a survey and practitioner's guide
Pediatric rheumatology for the practitioner
Pediatric rheumatology for the practitioner
Successful career strategy : an HR practitioner's guide to reach your dream job
Pediatric infectious diseases for the practitioner
Practitioner's Guide to Health Informatics
Geographic medicine for the practitioner