MPG.eBooks - Staff View: Recent Trends in Algebraic Development Techniques

Read Now

Bibliographic Details
Main Author:	Wirsing, Martin
Other Authors:	Hennicker, Rolf, Pattinson, Dirk
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:	Lecture Notes in Computer Science
Subjects:	Algebra_xdata Processing Computer Science Logic Design Software Engineering Computer Science, General Logics And Meanings Of Programs Mathematical Logic And Formal Languages Symbolic And Algebraic Manipulation
Online Access:	http://dx.doi.org/10.1007/b94458?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01327nmm a2200349 u 4500
001	EB000286650
003	EBX01000000000000000052334
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540205371
020			\|a 978-3-540-20537-1
100	1		\|a Wirsing, Martin
245	0	0	\|a Recent Trends in Algebraic Development Techniques \|h Elektronische Ressource \|b 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers \|c by Martin Wirsing, Dirk Pattinson, Rolf Hennicker
260			\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 2003
300			\|b v. digital
700	1		\|a Hennicker, Rolf
700	1		\|a Pattinson, Dirk
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/b94458?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Algebra_xData processing
650		4	\|a Computer science
650		4	\|a Logic design
650		4	\|a Software engineering
650		4	\|a Computer Science
650		4	\|a Computer Science, general
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Software Engineering
650		4	\|a Symbolic and Algebraic Manipulation