European joint conferences on theory and practice of software. 2003 : ETAPS, 2003

Saved in:
Bibliographic Details
Corporate Author: ETAPS
Format: Conference Proceeding Audio
Language:English
Published: Berlin : Springer, 2003
Edition:[1st ed.]
Subjects:
programovací jazyk > bezpečnostný protokol > hybridný systém > Petriho sieť > objektovo orientované modelovanie > rozhodovací diagram > sémantika > logika
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items