תמונות העטיפה

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 /

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Bernardo, Marco. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bogliolo, Alessandro. (Editor, http://id.loc.gov/vocabulary/relators/edt)
פורמט: אלקטרוני ספר אלקטרוני
שפה:English
יצא לאור: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
מהדורה:1st ed. 2005.
סדרה:Programming and Software Engineering ; 3465
נושאים:
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.
גישה מקוונת:https://doi.org/10.1007/b135888
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

אינטרנט

https://doi.org/10.1007/b135888

פריטים דומים