Logic, Computation and Rigorous Methods Alexander Raschke
Ø 0.0
0 Bewertungen
53,49 €
Titel: Logic, Computation and Rigorous Methods, Untertitel: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, Einband: Taschenbuch, Autor: Alexander Raschke, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 372, Maße: 235x155x21 mm, Gewicht: 563 g, Verkäufer: buch-mimpf, Schlagworte: Event-B Polynomial Time abstract state machines business processes complexity theory formal models hybrid systems knowledge representation logic mitotic sets modelling non-deterministic choice rigorous methods theory of computation verification.
Jetzt bei Ebay:
-
Seiten:372
-
Gewicht:563
-
Einband:Taschenbuch
-
Marke:Springer International Publishing, Springer Nature Switzerland
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Logic, Computation and Rigorous Methods
-
Buchtitel:Logic, Computation and Rigorous Methods
-
Untertitel:Essays Dedicated to Egon Börger on the Occasion of His 75th Bi...
-
Film-/Fernseh-Titel:Keine Angabe
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:Event-B Polynomial Time abstract state machines business pr...
-
ISBN:9783030760199
-
Reihe:Programming And Software Engineering
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2021
-
Anzahl der Seiten:372 Seiten
-
Autor:Klaus-Dieter Schewe, Elvinia Riccobene, Alexander Raschke
-
Verlag:Springer International Publishing
-
Publikationsname:Logic, Computation And Rigorous Methods
-
Sprache:Englisch
-
Standardversand:DHL Kleinpaket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 3,99 EUR - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere
