Formal methods for mobile computing
Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34845 |
---|---|
Ostali autori: | International School on Formal Methods for the Design of Computer, Communication, and Software Systems (-) |
Ostali autori: | Bernardo, Marco (-), Bogliolo, Alessandro |
Vrsta građe: | Knjiga |
Jezik: | eng |
Impresum: |
Berlin :
Springer,
c2005.
|
Nakladnička cjelina: |
Lecture notes in computer science ;
3465. Lecture notes in computer science ; Tutorial. |
Predmet: | |
Online pristup: |
Publisher description |