| 185 Ergebnisse - Seite |< ‹ 1 2 3 4 |
|
Einverständniserklärung zu Cookies, Daten- und Trackinginformationen
Wir verwenden Cookies, um Inhalte und Anzeigen zu personalisieren. Beim Besuch dieser Webseite werden Informationen gespeichert. Bei der Darstellung von Produkten werden Bilder von an anderen Webseiten geladen. Um das zu ermöglichen, ist es nötig, dass ihr Browser Verbindungen zu anderen Servern aufbaut und dorthin Daten überträgt. Die Verarbeitung der an Kostenscout.de gesendeten Daten erfolgt zur Leistungserbringung, zu statistischen sowie werbetechnischen Zwecken. Wenn Sie auf der Seite weitersurfen, stimmen Sie der Cookie-Nutzung und Datenverarbeitung zu. Datenschutzinformationen ansehen
 Formal Semantics and Proof Techniques for Optimizing VHDL ModelsPreis vergleichenAuflage 1999: Kothanda Umamageswaran/ Sheetanshu L. Pandey/ Philip A. Wilsey Anbieter: eBooks Hugendubel  Leveraging Applications of Formal Methods Verification and Validation: Foundational TechniquesPreis vergleichen7th International Symposium ISoLA 2016 Imperial Corfu Greece October 10-14 2016 Proceedings Part I. 1st ed. 2016 Anbieter: eBooks Hugendubel  Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Kartoniert (TB)Preis vergleichenThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016... Anbieter: discount24 DE  Leveraging Applications of Formal Methods Verification and Validation: Foundational TechniquesPreis vergleichen7th International Symposium ISoLA 2016 Imperial Corfu Greece October 1014 2016 Proceedings Part I. 1st ed. 2016 Anbieter: Hugendubel  Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichenSecond International Symposium Nijmegen The Netherlands January 8-10 1992. Proceedings. Auflage 1991: Jan Vytopil Anbieter: Hugendubel  Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichenThird International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos Lübeck Germany September 19 - 23 1994. Proceedings. Auflage 1994: Hans Langmaack/ Willem-Paul ... Anbieter: Hugendubel  Scalable Techniques for Formal VerificationPreis vergleichenAuflage 2010: Sandip Ray Anbieter: Hugendubel Leveraging Applications of Formal Methods Verification and Validation: Foundational TechniquesPreis vergleichen*Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques* - 7th International Symposium ISoLA 2016 Imperial Corfu Greece October 1014 2016 Proceedings Part I. 1s... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - Second International Symposium Nijmegen The Netherlands January 8-10 1992. Proceedings. Auflage 1991 / Taschenbuch für 106.99 € / Aus d... Anbieter: Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos Lübeck Germany September 19 - 23... Anbieter: Hugendubel Scalable Techniques for Formal VerificationPreis vergleichen*Scalable Techniques for Formal Verification* - Auflage 2010 / gebundene Ausgabe für 106.99 € / Aus dem Bereich: Bücher, Wissenschaft, Technik Anbieter: Hugendubel  Formal and Practical Techniques for the Complex System Process using Virtual PrototypesPreis vergleichen*Formal and Practical Techniques for the Complex System Process using Virtual Prototypes* - Better Early than Never. Auflage 2024 / pdf eBook für 117.49 € / Aus dem Bereich: eBooks, Sachthemen & R... Anbieter: Hugendubel Formal and Practical Techniques for the Complex System Process using Virtual PrototypesPreis vergleichenBetter Early than Never. Auflage 2024: Pascal Pieper/ Rolf Drechsler Anbieter: eBooks Hugendubel  Formal Specification Techniques for Engineering Modular C ProgramsPreis vergleichen*Formal Specification Techniques for Engineering Modular C Programs* - Auflage 1996 / pdf eBook für 149.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel  Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichen*Formal Techniques in Real-Time and Fault-Tolerant Systems* - Auflage 1993 / pdf eBook für 149.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel Formal Specification Techniques for Engineering Modular C ProgramsPreis vergleichenAuflage 1996: Tan Yang Meng Anbieter: eBooks Hugendubel Formal Techniques in Real-Time and Fault-Tolerant SystemsPreis vergleichenAuflage 1993 Anbieter: eBooks Hugendubel  Formal Specification Techniques for Engineering Modular C ProgramsPreis vergleichen1996 edition: Tan Yang Meng Anbieter: Hugendubel  Formal Techniques for Networked and Distributed SystemsPreis vergleichenFORTE 2001. Auflage 2001 Anbieter: Hugendubel  Formal Techniques for Networked and Distributed SystemsPreis vergleichen*Formal Techniques for Networked and Distributed Systems* - FORTE 2001. Auflage 2001 / pdf eBook für 213.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel Formal Techniques for Networked and Distributed SystemsPreis vergleichen*Formal Techniques for Networked and Distributed Systems* - FORTE 2001. Auflage 2001 / Taschenbuch für 213.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Anbieter: Hugendubel  Formal Description Techniques and Protocol Specification Testing and VerificationPreis vergleichen*Formal Description Techniques and Protocol Specification Testing and Verification* - FORTE XI/PSTV XVIII‘98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for D... Anbieter: Hugendubel  Formal Description Techniques and Protocol Specification Testing and VerificationPreis vergleichen*Formal Description Techniques and Protocol Specification Testing and Verification* - FORTE X / PSTV XVII ‘97. Auflage 1997 / pdf eBook für 213.99 € / Aus dem Bereich: eBooks, Sachthemen & Ra... Anbieter: Hugendubel  Formal Description Techniques VIIPreis vergleichen*Formal Description Techniques VII* - 1st ed. 1995 / pdf eBook für 213.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel  Formal Description Techniques VIIIPreis vergleichen*Formal Description Techniques VIII* - 1st ed. 1996 / pdf eBook für 213.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel Formal Techniques for Networked and Distributed SystemsPreis vergleichenFORTE 2001. Auflage 2001 Anbieter: eBooks Hugendubel Formal Description Techniques and Protocol Specification Testing and VerificationPreis vergleichenFORTE XI/PSTV XVIII‘98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification T... Anbieter: eBooks Hugendubel Formal Description Techniques and Protocol Specification Testing and VerificationPreis vergleichenFORTE X / PSTV XVII ‘97. Auflage 1997: Atsushi Togashi/ Tadanori Mizuno/ Norio Shiratori/ Teruo Higashino Anbieter: eBooks Hugendubel  Formal Description Techniques and Protocol Specification Testing and VerificationPreis vergleichenForte XI/Pstv Xviii‘98 Ifip Tc6 Wg6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte XI) and Protocol Specification T... Anbieter: Hugendubel    Formal Description Techniques IXPreis vergleichen*Formal Description Techniques IX* - Theory application and tools. 1st ed. 1996 / pdf eBook für 308.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet Anbieter: Hugendubel Formal Description Techniques IXPreis vergleichenTheory application and tools. 1st ed. 1996 Anbieter: eBooks Hugendubel
Die bei uns gelisteten Preise basieren auf Angaben der gelisteten Händler zum Zeitpunkt unserer Datenabfrage. Diese erfolgt einmal täglich. Von diesem Zeitpunkt bis jetzt können sich die Preise bei den einzelnen Händlern jedoch geändert haben. Bitte prüfen sie auf der Zielseite die endgültigen Preise.
Die Sortierung auf unserer Seite erfolgt nach dem besten Preis oder nach bester Relevanz für Suchbegriffe (je nach Auswahl).
Für manche Artikel bekommen wir beim Kauf über die verlinkte Seite eine Provision gezahlt. Ob es eine Provision gibt und wie hoch diese ausfällt, hat keinen Einfluß auf die Suchergebnisse oder deren Sortierung. Unser Preisvergleich listet nicht alle Onlineshops. Möglicherweise gibt es auf anderen bei uns nicht gelisteten Shops günstigere Preise oder eine andere Auswahl an Angeboten. Versandkosten sind in den angezeigten Preisen und der Sortierung nicht inkludiert. Livesuche | Über uns | Datenschutz | Shop eintragen | Impressum * - Angaben ohne Gewähr. Preise und Versandkosten können sich zwischenzeitlich geändert haben. Bitte prüfen sie vor dem Kauf auf der jeweiligen Seite, ob die Preise sowie Versandkosten noch aktuell sind. |
|