This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.
Produkteigenschaften
- Artikelnummer: 9783540343042
- Medium: Buch
- ISBN: 978-3-540-34304-2
- Verlag: Springer
- Erscheinungstermin: 15.05.2006
- Sprache(n): Englisch
- Auflage: 1. Auflage 2006
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 800 g
- Seiten: 244
- Format (B x H): 155 x 235 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Software Engineering
- Objektorientierte Softwareentwicklung
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Prozedurale Programmierung
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines