Tools and algorithms for the construction and analysis of systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /

Saved in:
Bibliographic Details
Main Author: Lee, Peter
Corporate Author: Proceedings Poland, Warsaw
Other Authors: Garavel, H. (Editor), Hatcliff, J.
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 2003
Edition:[1st ed.]
Series:Lecture notes in computer science Vol. 2619
Subjects:
ohraničený model > časová logika > overovanie > abstrakcia
ISBN:3540008985
ISSN:0302-9743
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:XVI, 604 s. : grafy, lit., obr., tab. ;
ISBN:3540008985
ISSN:0302-9743

Similar Items