Preis von
53.49 EUR

Concrete Semantics: With Isabelle/HOL

Springer (9783319357591) | With Isabelle/HOL, Concrete Semantics

 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
Dieses Produkt im Comparor
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
- Ingenieurbücher
- Mathematikbücher
- Informatik
- 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 With Isabelle/HOL Concrete Semantics
Bezeichner
Marke Springer

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 23774743
Abmessungen / Gewicht
Hauptmerkmale

Related zusammenhängen

Hochleistungs-Bosch Expert Concrete Diamanttopfscheibe 125mm für effizientes Schleifen von Beton. Langlebig & präzise, ideal für Profi-Winkelschleifer
Hochleistungs-Bosch Expert Concrete Diamanttopfscheibe 125mm für effizientes Schleifen von Beton. Langlebig & präzise, ideal für Profi-Winkelschleifer
Bosch Diamanttrennscheibe Standard für Beton, Durchmesser 180mm, Stärke 2,23mm und Nennbreite 2mm. Geeignet zum Trennen von Beton, Asphalt und Mauerwerk. Leichtes Ansetzen und saubere Schnitte durch hohe Standzeit und gute Haftung.
🤖 Hallo! Ich bin dein virtueller Assistent. Ich helfe dir beim Finden von Produkten, Preisvergleichen und Fragen zu Bestellungen. Womit möchtest du starten?
Der Chatbot-Dienst wird bereitgestellt durch Gemini 3 / OpenAI unter Nutzung der Comparor-Datenbank. KI kann Fehler machen — bitte überprüfen Sie stets die Informationen.
Comparor AI BETA
Online
Möchtest du das Gespräch neu starten?