Verkauf durch Sack Fachmedien

Editor-in-Chief: Daniel Kroening

Formal Methods in System Design

An International Journal

Artikelnummer: 9770925985003
Medium: Zeitschrift
ISSN / ISBN: 09259856
Verlag: Springer
Erscheinungsweise: 3 Ausgaben pro Jahr
Kündigungsfrist: 30. September des laufenden Jahres
Lieferfrist: bis zu 10 Tage
Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.

Produkteigenschaften


  • Artikelnummer: 9770925985003
  • Medium: Zeitschrift
  • ISBN: 977-092598500-3
  • ISSN: 09259856
  • Verlag: Springer
  • Erscheinungsweise: 3 Ausgaben pro Jahr
  • Sprache(n): Englisch
  • Produktform: Other printed item
  • Ausgabetyp: Kein, Unbekannt