MPG.eBooks - Staff View: Formal Methods for Components and Objects

Read Now

Bibliographic Details
Main Author:	Boer, Frank Sde
Other Authors:	Bonsangue, Marcello, de Roever, Willem-Paul, Graf, Susanne
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:	Lecture Notes in Computer Science
Subjects:	Computer Science Logic Design Operating Systems (computers) Software Engineering Logics And Meanings Of Programs Operating Systems Programming Languages, Compilers, Interpreters
Online Access:	http://dx.doi.org/10.1007/b14033?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01306nmm a2200349 u 4500
001	EB000286618
003	EBX01000000000000000052302
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540203032
020			\|a 978-3-540-20303-2
100	1		\|a Boer, Frank Sde
245	0	0	\|a Formal Methods for Components and Objects \|h Elektronische Ressource \|b First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures \|c by Frank Sde Boer, Marcello Bonsangue, Susanne Graf
260			\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 2003
300			\|b v. digital
700	1		\|a Bonsangue, Marcello
700	1		\|a de Roever, Willem-Paul
700	1		\|a Graf, Susanne
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/b14033?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Computer science
650		4	\|a Logic design
650		4	\|a Operating systems (Computers)
650		4	\|a Software engineering
650		4	\|a Computer Science
650		4	\|a Logics and Meanings of Programs
650		4	\|a Operating Systems
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Software Engineering