Աշխատակազմի տեսք: Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.).

Summary goes here

Պահպանված է:

Մատենագիտական մանրամասներ
Ձևաչափ:	Գիրք
Լեզու:	անգլերեն
Խորագրեր:	Formal methods (Computer science) Real-time data processing Echtzeitsystem Formale Methode Softwareentwicklung Stochastisches System Systementwicklung Kongress Informatiesystemen. Real-time systemen. Sistemas operacionais (computadores) Computer software Systems engineering Temps réel (informatique) Ingénierie des systèmes Conference papers and proceedings Bamberg (1999)
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

era
format	Book
genre
geographic
id	a72e6472-6580-449d-b44c-9891c3f6b75b
isbn	3540660100 9783540660101
issn
language	eng
physical	x, 353 pages :illustrations ;24 cm
publication	– publisher: Springer dateOfPublication: ©1999
publishDate	©1999
subjects
title	Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.).
topic	Formal methods (Computer science) Real-time data processing Formal methods (Computer science) Real-time data processing Echtzeitsystem Formale Methode Softwareentwicklung Stochastisches System Systementwicklung Kongress Informatiesystemen. Real-time systemen. Sistemas operacionais (computadores) Real-time data processing Computer software Systems engineering Temps réel (informatique) Ingénierie des systèmes Conference papers and proceedings Bamberg (1999)