Formal Techniques for Distributed Systems
Hutchison, David - undifferentiated
Page count unavailable
Formal Techniques for Distributed Systems
by Hutchison, David - undifferentiated
Published
2009
Publisher
Springer Berlin Heidelberg
ISBN-13
9783642021374
Subjects
Logic designComputer networksComputer scienceSoftware engineeringElectronic data processingCongressesDistributed processingObject-oriented programming (Computer science)Formal methods (Computer science)RechnernetzKongressSoftwarespezifikationFormale SpezifikationstechnikSoftwareTestenFormale MethodeVerteiltes SystemElectronic data processing, distributed processingObject-oriented programming (computer science)System design
You May Also Like
The Logic of Scientific Discovery
The Logic of Scientific Discovery
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei
How computers work
How computers work
Digital circuits and logic design
Digital circuits and logic design
An engineering approach to digital design
An engineering approach to digital design
Microprocessor logic design
Microprocessor logic design
Frequently Asked Questions
Who is the author of Formal Techniques for Distributed Systems?
Formal Techniques for Distributed Systems was written by Hutchison, David - undifferentiated.
When was Formal Techniques for Distributed Systems published?
The publication date for this specific edition is 2009. The original work may have been published on a different date.