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
 
 

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 422 Artikel
  1. Termination of triangular polynomial loops
    Enthalten in Formal methods in system design 4.12.2023: 1-63
  2. Extending rely-guarantee thinking to handle real-time scheduling
    Enthalten in Formal methods in system design 30.11.2023: 1-22
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration