Napredno iskanje

Naslovnica: Tools and Algorithms for the Construction and Analysis of Systems

Domov / Knjiga

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (3rd 1997 Enschede, The Netherlands)

Založnik: Springer

Cena knjige 61,18 EUR

ISBN9783540627906

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdaje1997

Strani431

Brezplačna dostava v Slovenijo.

Naroči knjigo

Kategorije

Congresses Development System design Computer software Computer programming Computer science