Slika na naslovnici

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /

Shranjeno v:
Bibliografske podrobnosti
Korporativna značnica: SpringerLink (Online service)
Drugi avtorji: Bernardo, Marco. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bogliolo, Alessandro. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Elektronski eKnjiga
Jezik:English
Izdano: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Izdaja:1st ed. 2005.
Serija:Programming and Software Engineering ; 3465
Teme:
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Special purpose computers.
Computer Communication Networks.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Special Purpose and Application-Based Systems.
Online dostop:https://doi.org/10.1007/b135888
Oznake: Označite
Brez oznak, prvi označite!

Internet

https://doi.org/10.1007/b135888

Podobne knjige/članki