Langmaack hans editor (4 risultati)
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
- Brossura
Da: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 7,70
EUR 6,06 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Brossura
Da: Lowry's Books, Three Rivers, U.S.A.Lowry's Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 13,39
EUR 5,16 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. No Jacket. This book is in very good condition with tight binding and clean text. Size: 8vo - over 7¾" - 9¾" tall.
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science)
Abrial, Jean-Raymond [Editor]; Börger, Egon [Editor]; Langmaack, Hans [Editor];
- Brossura
Da: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 37,40
EUR 6,06 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 87,20
EUR 14,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 294 pages. German language. 10.00x7.01x0.67 inches. In Stock.
