Knjige avtorja: International Conference On Formal Methods For Open Object Based Distributed Systems 4th 2000 Stanford

Formal Methods and Software Engineering

International Conference on Formal Engineering Methods (creator), Etienne André (editor), Jingyi Wang (editor), Naijun Zhan (editor)

ISBN: 9789819542123

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

79,49 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Software Engineering and Formal Methods

International Conference on Software Engineering and Formal Methods (creator), Domenico Bianculli (editor), Elena Gómez-Martínez (editor)

ISBN: 9783032104434

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

78,04 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods and Software Engineering

International Conference on Formal Engineering Methods, Zhiming Liu, Jifeng He

Datum izdaje: 20. december 2006

ISBN: 9783540474609

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

119,33 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods and Software Engineering

International Conference on Formal Engineering Methods, Jin Song Dong, Jim Woodcock

Datum izdaje: 12. januar 2004

ISBN: 9783540204619

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

105,73 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods and Software Engineering

International Conference on Formal Engineering Methods, K.-K. Lau, Richard Banach

Datum izdaje: 14. december 2005

ISBN: 9783540297970

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

62,69 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods and Software Engineering

International Conference on Formal Engineering Methods, Shengchao Qin, Zongyan Qiu

Datum izdaje: 2011

ISBN: 9783642245589

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

60,86 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods and Software Engineering

International Conference on Formal Engineering Methods, Jim Davies, Wolfram Schulte, Mike Barnett

Datum izdaje: 12. januar 2005

ISBN: 9783540238416

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

111,14 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Software Engineering and Formal Methods

International Conference on Software Engineering and Formal Methods (creator), Carla Ferreira (editor), Tim Willemse (editor)

Datum izdaje: 2023

ISBN: 9783031471148

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

67,80 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods and Software Engineering

International Conference on Formal Engineering Methods, Shaoying Liu, Thomas S. E. Maibaum, Keijiro Araki

Datum izdaje: 2008

ISBN: 9783540881933

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

57,34 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Methods for Open Object-Based Distributed Systems

International Conference on Formal Methods for Open Object-Based Distributed Systems, Roberto Gorrieri, Heike Wehrheim

Datum izdaje: 26. julij 2006

ISBN: 9783540348931

Razpoložljivost: Na zalogi

Vezava: Mehka vezava

59,73 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Napredno iskanje

Knjige avtorja: International Conference On Formal Methods For Open Object Based Distributed Systems 4th 2000 Stanford