MPG.eBooks - Staff View: Validation of Stochastic Systems

Read Now

Bibliographic Details
Main Author:	Baier, Christel
Other Authors:	Haverkort, Boudewijn R, Hermanns, Holger, Katoen, Joost-Pieter
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2004
Series:	Lecture Notes in Computer Science
Subjects:	Computer Science Computer Simulation Logic Design Operating Systems (computers) Software Engineering Computation By Abstract Devices Logics And Meanings Of Programs Operating Systems Processor Architectures Simulation And Modeling
Online Access:	http://dx.doi.org/10.1007/b98484?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01332nmm a2200385 u 4500
001	EB000286855
003	EBX01000000000000000052539
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540222651
020			\|a 978-3-540-22265-1
100	1		\|a Baier, Christel
245	0	0	\|a Validation of Stochastic Systems \|h Elektronische Ressource \|b A Guide to Current Research \|c by Christel Baier, Boudewijn R Haverkort, Holger Hermanns
260			\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 2004
300			\|b v. digital
700	1		\|a Haverkort, Boudewijn R
700	1		\|a Hermanns, Holger
700	1		\|a Katoen, Joost-Pieter
989			\|b LNCS \|a Lecture Notes in Computer Science
490	0		\|a Lecture Notes in Computer Science
856	4	0	\|u http://dx.doi.org/10.1007/b98484?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Computer science
650		4	\|a Computer simulation
650		4	\|a Logic design
650		4	\|a Operating systems (Computers)
650		4	\|a Software engineering
650		4	\|a Computer Science
650		4	\|a Computation by Abstract Devices
650		4	\|a Logics and Meanings of Programs
650		4	\|a Operating Systems
650		4	\|a Processor Architectures
650		4	\|a Simulation and Modeling
650		4	\|a Software Engineering