Custom cover image
Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / by Hartmut König, Monika Heiner, Adam Wolisz
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 2767Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Description: Online-RessourceISBN:- 9783540201755
- Verteiltes System
- Formale Methode
- Telekommunikationsnetz
- Kommunikationsprotokoll
- Rechnernetz
- Softwarespezifikation
- Formale Spezifikationstechnik
- Softwaretest
- Model Checking
- Computer Communication Networks
- Computer science
- Logic design
- Operating systems (Computers)
- Software engineering
- Computer Science
- Computer network protocols
- Electronic data processing
- Formal methods Computer science
- 004/.01/51
No physical items for this record