Bjrner dines (3 risultati)

Autore:

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedin
Bjrner, Dines
Lingua: Inglese
Editore: Springer 1993-10, 1993
354057316X / 9783540573166
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 57,77
EUR 18,11 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
PF. Condizione: New.
Scopri altri titoli di D. Bjørner
Scopri le opere pubblicate e le offerte di articoli da collezione.Scopri D. Bjørner
VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Bjrner, Dines
Lingua: Inglese
Editore: Springer 1987-03, 1987
3540176543 / 9783540176541
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 57,72
EUR 18,11 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
PF. Condizione: New.
Software Engineering 1 : Abstraction and Modelling
Bjrner, Dines
Lingua: Inglese
Editore: Springer 2010-02, 2010
3642059392 / 9783642059391
Serie: Libro 26 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 95,81
EUR 18,11 spedizione
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
PF. Condizione: New.

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedin