Preis von
53.49 EUR
53.49 EUR
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Springer (9783540634065) | Modular Compiler Verification
Geschäfte, in denen Sie dieses Produkt kaufen können
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
SpringerLink DE
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
- Mathematikbücher - Informatik - Softwareentwicklung - Programmiersprachen |
|
International
Finden Sie dieses Produkt in einem unserer internationalen Geschäfte
|
Dieses Produkt wurde in anderen Ländern nicht gefunden
|
| Farben
Vorherrschende Farben des Produkts |
|
| Tags | Modular Compiler Verification |
| Bezeichner | |
| Marke |  Springer ist eine Marke, die sich auf die Herstellung von Fahrrädern spezialisiert hat. Die Fahrräder von Springer sind hochwertig und überzeugen mit einem ansprechenden Design. Sie sind in verschiedenen Farben erhältlich und bieten eine Vielzahl an Ausstattungsoptionen. |
| ID | 23886175 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
Modulares Regal aus Kiefernholz, 175 x 76.7 x 43 cm, Tiefe 33 cm, 1 Eimer und Zwischenboden, Serie Dinamic, Farbe bunt.
Regal 1 Eimer mit Ablage DINAMIC, Modular aus Kiefernholz, Maße: 36,2 x 33 x 36,2 cm, unbehandeltes Vollholz, mit Zwischenboden.
Razer Naga Trinity ist eine kabelgebundene, ergonomische Gaming-Maus mit optischem 5G Sensor und einer DPI von 16.000. Sie verfügt über 19 programmierbare Tasten und ist in den Modi MOBA, MMO und FPS einsetzbar.
Bemessungsbetriebsspannung=250..440 V - Bemessungsbetriebsstrom=25 A - Bemessungsbetätigungsspannung=24..24 V - Spannungsart der Betriebsspannung=AC - Spannungsart der Betätigungsspannung=AC/DC
Bemessungsbetriebsspannung=250..440 V - Bemessungsbetriebsstrom=25 A - Bemessungsbetätigungsspannung=24..24 V - Spannungsart der Betriebsspannung=AC - Spannungsart der Betätigungsspannung=AC/DC
Hocheffiziente Leistung: Die 80 PLUS Gold-Zertifizierung garantiert einen Mindestwirkungsgrad von 90%. - 4 EPS-Anschlüsse: 2 EPS-Anschlüsse sind in allen Modellen enthalten, um eine universelle Motherboard-Kompatibilität der aktuellen Generation zu gew
Razer Naga Trinity ist eine kabelgebundene, ergonomische Gaming-Maus mit optischem 5G Sensor und einer DPI von 16.000. Sie verfügt über 19 programmierbare Tasten und ist in den Modi MOBA, MMO und FPS einsetzbar.