Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "Algebraic Specification."
im Bestand: Gesamter Bestand

1 - 10 von 73

	1	Specification, horizontal composition and parameterization of algebraic implementations Beierle, Christoph. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
	2	Generating test case for algebraic specification based on Tabu search and genetic algorithm In: Cluster computing 11.11.2016: 1-13
	3	Algebraic decoder specification: coupling formal-language theory and statistical machine translation Büchse, Matthias. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
	4	Foundations of algebraic specification and formal software development Sannella, Donald. - Berlin : Springer, 2012
	5	Foundations of Algebraic Specification and Formal Software Development Sannella, Donald. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	6	Semantics and algebraic specification Berlin : Springer, 2009
	7	Semantics and Algebraic Specification Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
	8	CASL reference manual Berlin : Springer, 2004
	9	CASL reference manual Berlin : Springer, 2004
	10	CASL user manual Bidoit, Michel. - Berlin : Springer, 2004

1 - 10 von 73

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Aktionen