Napredno iskanje

Naslovnica: Formal Methods for Distributed System Development

Domov / Knjiga

Formal Methods for Distributed System Development

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy)

Založnik: Springer

Cena knjige 230,09 EUR

ISBN9780792379683

VezavaTrda vezava

RazpoložljivostNa zalogi

Datum izdaje30. september 2000

Strani424

Brezplačna dostava v Slovenijo.

Naroči knjigo

Kategorije

Congresses Electronic data processing Distributed processing Formal methods (Computer science) Electronic data processing, distributed processing Computer science