Formal Methods for Components and Objects 1
bokomslag Formal Methods for Components and Objects
Data & IT

Formal Methods for Components and Objects

Elena Giachino • Reiner Hhnle • Frank S De Boer • Marcello M Bonsangue

Pocket

699:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 241 sidor
  • 2013
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
  • Författare: Elena Giachino, Reiner Hhnle, Frank S De Boer, Marcello M Bonsangue
  • Format: Pocket/Paperback
  • ISBN: 9783642406140
  • Språk: Engelska
  • Antal sidor: 241
  • Utgivningsdatum: 2013-08-26
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Formal Methods for Components and Objects

    Formal Methods for Components and Obj...

    Bernhard Beckert, Ferruccio Damiani, Frank S De Boer, Marcello M Bonsangue

    Pocket

    759:-
  2. bokomslag Biomass and Biofuels from Microalgae

    Biomass and Biofuels from Microalgae

    Navid R Moheimani, Mark P McHenry, Karne De Boer, Parisa A Bahri

    Pocket

    1499:-
  3. bokomslag Hepatitis E Virus

    Hepatitis E Virus

    Franco Maria Ruggeri, Ilaria Di Bartolo, Fabio Ostanello, Marcello Trevisani

    Pocket

    779:-
  4. bokomslag Theoretical Computer Science

    Theoretical Computer Science

    Jos C M Baeten, Tom Ball, Frank S De Boer

    Pocket

    759:-
  5. bokomslag Mathematical Problems in Semiconductor Physics

    Mathematical Problems in Semiconducto...

    Angelo Marcello Anile, Walter Allegretto, Christian Ringhofer, Angelo Marcello Anile

    Pocket

    549:-
  6. bokomslag The Concise APA Handbook

    The Concise APA Handbook

    Paul Iida, Rachael Ruegg, Mark De Boer, Naoko Araki, Mary Frances Agnello

    Inbunden

    749:-
  7. bokomslag Young People and the Labour Market

    Young People and the Labour Market

    Floro Caroleo, Olga Demidova, Enrico Marelli, Marcello Signorelli

    Inbunden

    2589:-
  8. bokomslag Overstreet Guide To Collecting Comics

    Overstreet Guide To Collecting Comics

    Marcello Quintanilha, Daria Tessler, Robert M Overstreet, Marcello Quintanilha, Daria Tessler

    Pocket

    279:-
  9. bokomslag Young People and the Labour Market

    Young People and the Labour Market

    Floro Caroleo, Olga Demidova, Enrico Marelli, Marcello Signorelli

    Pocket

    819:-
  10. bokomslag Human-Friendly Robotics 2019

    Human-Friendly Robotics 2019

    Federica Ferraguti, Valeria Villani, Lorenzo Sabattini, Marcello Bonf

    Pocket

    2959:-

Andra av samma författare

  1. bokomslag Automated Deduction in Multiple-Valued Logics

    Automated Deduction in Multiple-Value...

    Reiner Hhnle

    Inbunden

    2279:-
  2. bokomslag Handbook of Tableau Methods

    Handbook of Tableau Methods

    M D'Agostino, Dov M Gabbay, Reiner Hhnle, J Posegga

    Inbunden

    2959:-
  3. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Reiner Hhnle Wil Van Der Aalst

    Pocket

    1009:-
  4. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Reiner Hhnle Wil Van Der Aalst

    Inbunden

    1079:-
  5. bokomslag Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concur...

    Krzysztof R Apt, Frank S De Boer, Ernst-Rdiger Olderog

    Pocket

    1209:-
  6. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Wil Van Der Aalst Reiner Hhnle

    Pocket

    759:-
  7. bokomslag Deductive Software Verification: Future Perspectives

    Deductive Software Verification: Futu...

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hhnle, Mattias Ulbrich

    Pocket

    759:-
  8. bokomslag Active Object Languages: Current Research Trends

    Active Object Languages: Current Rese...

    Frank De Boer, Ferruccio Damiani, Reiner Hhnle, Einar Broch Johnsen, Eduard Kamburjan

    Pocket

    1149:-
  9. bokomslag Theoretical Aspects of Computing ICTAC 2024

    Theoretical Aspects of Computing ICT...

    Marcello M Bonsangue Chutiporn Anutariya

    Pocket

    1069:-
  10. bokomslag Deductive Software Verification The KeY Book

    Deductive Software Verification The ...

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hhnle, Peter H Schmitt

    Pocket

    1789:-