📚 Lotos Computer Program Language

FME '93: Industrial-Strength Formal Methods

James C.P. Woodcock (editor), Peter G. Larsen (editor)

Datum izdaje: 1993

ISBN: 9783540566625

117,16 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

International Symposium on Programming

M. Paul (editor), B. Robinet (editor)

Datum izdaje: 7. maj 1984

ISBN: 9783540129257

59,42 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Transformation-Based Reactive Systems Development

Miquel Bertran (editor), Teodor Rus (editor)

Datum izdaje: 1997

ISBN: 9783540630104

61,18 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Formal Techniques for Networked and Distributed Systems - FORTE 2006

FORTE 2006, Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, International Federation for Information Processing

Datum izdaje: 14. november 2006

ISBN: 9783540462194

110,72 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

119,33 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Algebraic Methodology and Software Technology (AMAST '93)

International Conference on Algebraic Methodology and Software Technology, Maurice Nivat, British Computer Society

Datum izdaje: 1. december 1993

ISBN: 9783540198529

57,97 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Computer-Aided Verification

Edmund M. Clarke (editor), Robert P. Kurshan (editor)

Datum izdaje: 1991

ISBN: 9783540544777

62,45 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Computer Science 2

Chilean Computer Science Society, R. Baeza-Yates

Datum izdaje: 1994

ISBN: 9780306447303

231,93 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma (editor)

Datum izdaje: 1997

ISBN: 9783540627906

61,18 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Integrated Formal Methods Programming and Software Engineering

Dominique Méry (editor), Stephan Merz (editor)

Datum izdaje: 2010

ISBN: 9783642162640

56,44 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo