Produktnummer:
187b291a76a71c4adb9c5b08f384933247
| Themengebiete: | Abstract State Machines Event-B business processes formal models hybrid systems knowledge representation logic modelling rigorous methods theory of computation |
|---|---|
| Veröffentlichungsdatum: | 04.06.2021 |
| EAN: | 9783030760199 |
| Sprache: | Englisch |
| Seitenzahl: | 353 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Raschke, Alexander Riccobene, Elvinia Schewe, Klaus-Dieter |
| Verlag: | Springer International Publishing |
| Untertitel: | Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday |
Produktinformationen "Logic, Computation and Rigorous Methods"
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen