Ergebnisse filtern
-
- 8
- 8
-
- 2
- 2
- 2
- 2
- 4
- 2
- 2
-
- 8
- 4
- 4
-
- 14
- 2
-
- 16
-
- 16
-
- 16
-
Meseguer / Rosu Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-79980-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Rosu / Meseguer Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79979-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Agha / Danvy / Meseguer Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24932-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iida / Ogata / Meseguer Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi2014Verlag: SpringerISBN: 978-3-642-54623-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Agha / Danvy / Meseguer Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th BirthdayErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-24933-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Iida / Meseguer / Ogata Specification, Algebra, and Software
Essays Dedicated to Kokichi FutatsugiErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54624-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Futatsugi / Meseguer / Jouannaud Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-35462-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Futatsugi / Jouannaud / Meseguer Algebra, Meaning, and Computation
Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday2006Verlag: SpringerISBN: 978-3-540-35464-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Degano / de Nicola / Meseguer Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday2008Verlag: SpringerISBN: 978-3-540-68679-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Degano / Meseguer / de Nicola Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68676-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dougherty / Rowe / Meseguer Protocols, Strands, and Logic
Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-91630-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dougherty / Meseguer / Mödersheim Protocols, Strands, and Logic
Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-91631-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark78,10 € (inkl. MwSt.)
sofort verfügbar -
Guttman / Landwehr / Meseguer Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. MeadowsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-19052-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Guttman / Pavlovic / Landwehr Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-19051-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71940-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic2007Verlag: SpringerISBN: 978-3-540-71999-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort