Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Häftad, 2014
571 kr
Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
AvMarco Bernardo,Einar Broch Johnsen
Häftad, Engelska, 2015
Del 9104 i serien Lecture Notes in Computer Science
548 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Inbunden, 2009
572 kr
Process Algebraic Approach to Software Architecture Design
Flavio Corradini, Marco Bernardo, Alessandro Aldini
E-bok
2010739 kr
Del 8483
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Häftad, 2014
571 kr
Formal Methods for Executable Software Models
Ina Schaefer, Einar Broch Johnsen, Reiner Haehnle, Ferruccio Damiani, Marco Bernardo
E-bok
2014739 kr
Del 9700
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
Häftad, 2016
571 kr
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Jane Hillston, Rocco De Nicola, Marco Bernardo
E-bok
2016710 kr
Formal Methods for the Design of Real-Time Systems
Marco Bernardo, Flavio Corradini
Häftad, 2004
571 kr
Hoppa över listan
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
554 kr
Del 16297
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
932 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
571 kr
Del 15582
Biomimetic and Biohybrid Systems
Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott
Häftad, 2025
1 022 kr
- Nyhet
Del 16693
Advanced Parallel Processing Technologies
Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson
Häftad, 2026
1 022 kr
Del 16832
Progress in Cryptology - AFRICACRYPT 2026
Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez
Häftad, 2026
932 kr
- Nyhet
Electronic Participation
David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek
Häftad, 2026
730 kr
Del 12051
Sustainable Digital Communities
Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad
Häftad, 2020
1 071 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Del 8483
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Häftad, 2014
571 kr
Formal Methods for Executable Software Models
Ina Schaefer, Einar Broch Johnsen, Reiner Haehnle, Ferruccio Damiani, Marco Bernardo
E-bok
2014739 kr
Logic of Software. A Tasting Menu of Formal Methods
Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20221 455 kr
Formal Methods for Open Object-Based Distributed Systems
Marcello M. Bonsangue, Einar Broch Johnsen
Häftad, 2007
571 kr
Theory and Practice of Formal Methods
Einar Broch Johnsen, Marcello Bonsangue, Erika Abraham
E-bok
2016739 kr