A manifesto for applicable formal methods

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource, 1 online resource.
Sprache
Englisch

Erschienen in
A manifesto for applicable formal methods ; day:18 ; month:8 ; year:2023 ; pages:1-13
Software and systems modeling ; (18.8.2023), 1-13

Urheber
Gleirscher, Mario
Pol, Jaco van de
Woodcock, Jim
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10270-023-01124-2
URN
urn:nbn:de:101:1-2023110414002630209790
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:46 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Ähnliche Objekte (12)

Formal aspects of computing : applicable formal methods

Online-Publikation | Zeitschrift

Formal aspects of computing : applicable formal methods

The Cyborg Manifesto Revisited : Issues and Methods for Technocultural Feminism

Artikel

The Cyborg Manifesto Revisited : Issues and Methods for Technocultural Feminism

Manifesto

Standfoto

Manifesto

Manifesto

Standfoto

Manifesto

Manifesto

Standfoto

Manifesto

Manifesto

Standfoto

Manifesto

Manifesto

Standfoto

Manifesto

Manifesto

Standfoto

Manifesto

Manifesto

Standfoto

Manifesto

Manifesto.

Kapitel

Manifesto.

Manifesto

Standfoto

Manifesto

Manifesto

Akten

Manifesto

Verbundene Objekte