M.W. Alford,
Manfred Paul,
H.J. Siegert,
J.P. Ansart,
G. Hommel,
L. Lamport,
B. Liskov,
G.P. Mullery,
F.B. Schneider
e.a.
Distributed Systems
Methods and Tools for Specification. An Advanced Course
Paperback Engels 1985 1985e druk 9783540152163
Verwachte levertijd ongeveer 9 werkdagen
Specificaties
ISBN13:9783540152163
Taal:Engels
Bindwijze:paperback
Aantal pagina's:576
Uitgever:Springer Berlin Heidelberg
Druk:1985
Hoofdrubriek:Netwerken, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Basic concepts.- Acquisition — environment.- A graph model based approach to specifications.- Formal foundation for specification and verification.- Language constructs for distributed programs.- The argus language and system.- Paradigms for distributed programs.- Issues and tools for protocol specification.- Conclusion.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan