Rebeca for Actor Analysis in Action 1
Ny
bokomslag Rebeca for Actor Analysis in Action
Data & IT

Rebeca for Actor Analysis in Action

Edward A Lee • Mohammad Reza Mousavi • Carolyn Talcott

Pocket

1459:-

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

Uppskattad leveranstid 3-8 arbetsdagar

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

  • 442 sidor
  • 2025
  • Författare: Edward A Lee, Mohammad Reza Mousavi, Carolyn Talcott
  • Format: Pocket/Paperback
  • ISBN: 9783031851339
  • Språk: Engelska
  • Antal sidor: 442
  • Utgivningsdatum: 2025-03-21
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

    Reflections on the Foundations of Mat...

    Wilfried Sieg, Richard Sommer, Carolyn Talcott

    Inbunden

    1669:-
  2. bokomslag Composing Model-Based Analysis Tools

    Composing Model-Based Analysis Tools

    Robert Heinrich, Francisco Durn, Carolyn Talcott, Steffen Zschaler

    Inbunden

    1999:-
  3. bokomslag Logic, Language, and Security

    Logic, Language, and Security

    Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov

    Pocket

    839:-
  4. bokomslag Composing Model-Based Analysis Tools

    Composing Model-Based Analysis Tools

    Robert Heinrich, Francisco Durn, Carolyn Talcott, Steffen Zschaler

    Pocket

    1429:-
  5. bokomslag Logic, Rewriting, and Concurrency

    Logic, Rewriting, and Concurrency

    Narciso Mart-Oliet, Peter Csaba Lveczky, Carolyn Talcott

    Pocket

    719:-
  6. bokomslag Modeling and Analysis of Communicating Systems

    Modeling and Analysis of Communicatin...

    Mohammad Reza Mousavi Jan Friso Groote

    Pocket

    1119:-
  7. bokomslag Governing Insecurity in Japan

    Governing Insecurity in Japan

    Wilhelm Vosse, Reinhard Drifte, Verena Blechinger-Talcott

    Inbunden

    2769:-
  8. bokomslag Cyber Physical Systems. Design, Modeling, and Evaluation

    Cyber Physical Systems. Design, Model...

    Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski

    Pocket

    719:-
  9. bokomslag Primary Sources, Historical Collections

    Primary Sources, Historical Collections

    Edward Fitzgerald, Omar Khayyam, Talcott Williams

    Pocket

    299:-
  10. bokomslag Topics in Theoretical Computer Science

    Topics in Theoretical Computer Science

    Mohammad Reza Mousavi Mohammed Taghi ...

    Pocket

    719:-

Andra av samma författare

  1. bokomslag Modeling and Analysis of Communicating Systems

    Modeling and Analysis of Communicatin...

    Mohammad Reza Mousavi Jan Friso Groote

    Inbunden

    789:-
  2. bokomslag Modeling and Analysis of Communicating Systems

    Modeling and Analysis of Communicatin...

    Mohammad Reza Mousavi Jan Friso Groote

    Pocket

    1119:-
  3. bokomslag Digital Communication

    Digital Communication

    John R Barry, Edward A Lee, David G Messerschmitt

    Inbunden

    2189:-
  4. bokomslag Digital Communication

    Digital Communication

    David G Messerschmitt Edward A Lee

    Pocket

    719:-
  5. bokomslag Software Synthesis from Dataflow Graphs

    Software Synthesis from Dataflow Graphs

    Shuvra S Bhattacharyya, Praveen K Murthy, Edward A Lee

    Inbunden

    1409:-
  6. bokomslag Digital Communication

    Digital Communication

    David G Messerschmitt Edward A Lee

    Pocket

    1409:-
  7. bokomslag Software Synthesis from Dataflow Graphs

    Software Synthesis from Dataflow Graphs

    Shuvra S Bhattacharyya, Praveen K Murthy, Edward A Lee

    Pocket

    1429:-
  8. bokomslag Digital Communication

    Digital Communication

    John R Barry, Edward A Lee, David G Messerschmitt

    Pocket

    1639:-
  9. bokomslag Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

    Reflections on the Foundations of Mat...

    Wilfried Sieg, Richard Sommer, Carolyn Talcott

    Inbunden

    1669:-
  10. bokomslag Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Appli...

    Mohammad Reza Mousavi Tiago Massoni

    Pocket

    839:-