NATIONAL BIBLIOGRAPHY NUMBER
Number
oldebook12564
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal techniques for networked and distributed systems
Other Title Information
:FORTE 2007. ;
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York :
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, 2007.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
; Vain, J?ri. ; -Derrick, John, ; 1963
old catalog
