Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.
 
 

Ergebnis der Suche nach: idn=019728603



Zurück



Zeitschriften/Serien
Link zu diesem Datensatz https://d-nb.info/019728603
Art des Inhalts Zeitschrift
Titel Formal methods in system design : an international journal
Verlag Dordrecht [u.a.] : Springer Science + Business Media B.V
Dordrecht [u.a.] : Kluwer [-2004]
Zeitliche Einordnung Erscheinungsdatum: 1992-
Zählung 1.1992 -
Umfang/Format Online-Ressource
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Formal methods in system design
URL https://ezb.ur.de/?1479899-2 (Elektronische Zeitschriftenbibliothek)
http://link.springer.com/journal/10703 (Verlag)
http://link.springer.com/journal/10703 (Verlag; 1.1992 - 21.2002) (Nationallizenz)
ISSN ISSN der Vorlage: 1572-8102
Sprache(n) Englisch (eng)
Anmerkungen Gesehen am 01.11.05
Zugehörige Artikel 465 Artikel
  1. Porous invariants for linear systems
    Enthalten in Formal methods in system design 28.2.2024: 1-37
  2. Parameter synthesis for Markov models: covering the parameter space
    Enthalten in Formal methods in system design 17.2.2024: 1-79
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration