Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Materialarten:	Artikel

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

Ergebnis der Suche nach: "122239318"
im Bestand: Gesamter Bestand

1 - 7 von 7

	1	Gerard O’Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications Enthalten in Formal aspects of computing 5.2.2020: 1-2
	2	An Approach to the Specification and Verification of a Hardware Compilation Scheme Enthalten in The journal of supercomputing Bd. 19, Nr. 1, date:5.2001: 23-39
	3	Algebraic approach to linking the semantics of web services Enthalten in Innovations in systems and software engineering Bd. 7, 7.10.2011, Nr. 3, date:9.2011: 209-224
	4	Egon Börger and Alexander Raschke: Modeling companion for software practitioners Enthalten in Formal aspects of computing Bd. 30, 22.10.2018, Nr. 6, date:11.2018: 761-762
	5	PTSC: probability, time and shared-variable concurrency Enthalten in Innovations in systems and software engineering Bd. 5, 11.8.2009, Nr. 4, date:12.2009: 271-284
	6	Specification, Verification and Prototyping of an Optimized Compiler Enthalten in Formal aspects of computing Bd. 6, 10.11.2012, Nr. 6, date:12.1994: 643-658
	7	Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP Enthalten in Formal aspects of computing Bd. 32, 15.6.2020, Nr. 2-3, date:7.2020: 275-314

1 - 7 von 7

Alle Materialarten > Artikel (7)

Alle Standorte

Aktionen

Administration