Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Bernhard K. Aichernig 6 träffar

	Titel	Författare	År	Språk
1	Formal methods at the crossroads. - from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers		2003	Engelska
2	Model-Based Test Case Generation for Real-Time Systems	Anders Hessel	2007	Engelska
3	Formal Methods for Components and Objects	Marcello M. Bonsangue	2012	Okänt
4	Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers	Bernhard K. Aichernig	2012	Engelska
5	Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings		2016	Engelska
6	SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods (07-09 September 2005/Koblenz, Germany)	Bernhard K. Aichernig	uuuu-uuuu	Okänt

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.