Formal Methods. FM 2019 International Workshops 1
bokomslag Formal Methods. FM 2019 International Workshops
Data & IT

Formal Methods. FM 2019 International Workshops

Emil Sekerinski • Nelma Moreira • José N Oliveira • Daniel Ratiu • Riccardo Guidotti

Pocket

749:-

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:-

Andra format:

  • 575 sidor
  • 2020
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;
  • Författare: Emil Sekerinski, Nelma Moreira, José N Oliveira, Daniel Ratiu, Riccardo Guidotti
  • Format: Pocket/Paperback
  • ISBN: 9783030549961
  • Språk: Engelska
  • Antal sidor: 575
  • Utgivningsdatum: 2020-08-11
  • Förlag: Springer Nature Switzerland AG

Du kanske gillar

  1. bokomslag Formal Methods. FM 2019 International Workshops

    Formal Methods. FM 2019 International...

    Emil Sekerinski, Nelma Moreira, José N Oliveira, Daniel Ratiu, Riccardo Guidotti

    Pocket

    749:-
  2. bokomslag Programming Big Data Applications: Scalable Tools And Frameworks For Your Needs

    Programming Big Data Applications: Sc...

    Domenico Talia, Paolo Trunfio, Fabrizio Marozzo, Loris Belcastro, Riccardo Cantini

    Inbunden

    1699:-
  3. bokomslag Geometry, Mechanics, and Dynamics

    Geometry, Mechanics, and Dynamics

    Dong Eui Chang, Darryl D Holm, George Patrick, Tudor Ratiu

    Inbunden

    1429:-
  4. bokomslag Descriptional Complexity of Formal Systems

    Descriptional Complexity of Formal Sy...

    Martin Kutrib, Nelma Moreira, Rogério Reis

    Pocket

    749:-
  5. bokomslag Embolization Therapy: Principles and Clinical Applications

    Embolization Therapy: Principles and ...

    Marcelo Guimaraes, Riccardo Lencioni, Gary P Siskin, Md Guimaraes, Marcelo Fsir, Fsir Lencioni, Dr Riccardo, Md Ebir

    Klotband

    4219:-
  6. bokomslag Geometry, Mechanics, and Dynamics

    Geometry, Mechanics, and Dynamics

    Dong Eui Chang, Darryl D Holm, George Patrick, Tudor Ratiu

    1429:-
  7. Ny
    bokomslag Higher Education Learning Methodologies and Technologies Online

    Higher Education Learning Methodologi...

    Pasquale Ardimento, Raffaele Di Fuccio, Giovanni Fulantelli, Pierpaolo Limone, Riccardo Pecori

    Pocket

    1269:-
  8. bokomslag Statistical Physics, Optimization, Inference, and Message-Passing Algorithms

    Statistical Physics, Optimization, In...

    Krzakala Et Al, Florent Krzakala, Federico Ricci-Tersenghi, Lenka Zdeborova, Riccardo Zecchina

    Inbunden

    1459:-
  9. bokomslag Patient Surveillance After Cancer Treatment

    Patient Surveillance After Cancer Tre...

    Frank E Johnson, Yoshihiko Maehara, George P Browman, Julie A Margenthaler, Riccardo A Audisio

    3219:-
  10. bokomslag Higher Education Learning Methodologies and Technologies Online

    Higher Education Learning Methodologi...

    Gabriella Casalino, Marta Cimitile, Pietro Ducange, Natalia Padilla Zea, Riccardo Pecori

    Pocket

    1119:-

Andra av samma författare

  1. bokomslag From Action Systems to Distributed Systems

    From Action Systems to Distributed Sy...

    Luigia Petre, Emil Sekerinski, Luigia Petre, Emil Sekerinski

    Pocket

    869:-
  2. bokomslag From Action Systems to Distributed Systems

    From Action Systems to Distributed Sy...

    Luigia Petre, Emil Sekerinski, Luigia Petre, Emil Sekerinski

    Inbunden

    2479:-
  3. bokomslag Program Development by Refinement

    Program Development by Refinement

    Emil Sekerinski Kaisa Sere

    Pocket

    2929:-
  4. bokomslag Formal Methods - The Next 30 Years

    Formal Methods - The Next 30 Years

    Maurice H Ter Beek, Annabelle Mciver, José N Oliveira, Jose N Oliveira

    Pocket

    749:-
  5. bokomslag Developments in Language Theory

    Developments in Language Theory

    Nelma Moreira, Rogério Reis, Rogerio Reis

    Pocket

    1259:-
  6. bokomslag Machine Learning and Principles and Practice of Knowledge Discovery in Databases

    Machine Learning and Principles and P...

    Irena Koprinska, Paolo Mignone, Riccardo Guidotti, Szymon Jaroszewicz, Holger Fröning

    Pocket

    1529:-
  7. bokomslag Machine Learning and Principles and Practice of Knowledge Discovery in Databases

    Machine Learning and Principles and P...

    Irena Koprinska, Paolo Mignone, Riccardo Guidotti, Szymon Jaroszewicz, Holger Fröning

    Pocket

    1119:-
  8. bokomslag Formal Methods Teaching

    Formal Methods Teaching

    Leila Ribeiro Emil Sekerinski

    Pocket

    569:-
  9. bokomslag Discovery Science

    Discovery Science

    Dino Pedreschi, Anna Monreale, Riccardo Guidotti, Roberto Pellungrini, Francesca Naretto

    Pocket

    1259:-
  10. bokomslag Discovery Science

    Discovery Science

    Dino Pedreschi, Anna Monreale, Riccardo Guidotti, Roberto Pellungrini, Francesca Naretto

    Pocket

    1129:-