Formal methods for real-time and probabilitic systems : 5th international AMAST workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings

Uloženo v:
Podrobná bibliografie
Další autoři: Katoen, Joost-Pieter, 1964- (Editor) 
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer, 1999
Edice:Lecture notes in computer science ; 1601
ISSN:0302-9743
ISBN:3-540-66010-0
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
Stav Dílčí knihovna Popis Umístění LCC signatura Stará signatura
Volný výběr, k vypůjčení Fond NTK 6.NP, regál 6D/096 QA76 .9 .F67 F673 1999 A 36113