Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop 1
bokomslag Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
Data & IT

Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop

Feensta B Feenstra Feensta R J Wieringa • Roel J Wieringa • R B Feenstra • Roel J Wieringa • R B Feenstra

Inbunden

2289:-

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

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 300 sidor
  • 1995
This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.
  • Författare: Feensta B Feenstra Feensta R J Wieringa, Roel J Wieringa, R B Feenstra, Roel J Wieringa, R B Feenstra
  • Format: Inbunden
  • ISBN: 9789810222406
  • Språk: Engelska
  • Antal sidor: 300
  • Utgivningsdatum: 1995-06-01
  • Förlag: World Scientific Publishing Co Pte Ltd

Du kanske gillar

  1. bokomslag International People's Tribunal for 1965 and the Indonesian Genocide

    International People's Tribunal for 1...

    Saskia Wieringa, Jess Melvin, Annie Pohlman, Saskia Wieringa, Annie Pohlman

    Inbunden

    2749:-
  2. bokomslag Engineering Secure Software and Systems

    Engineering Secure Software and Systems

    Úlfar Erlingsson, Roel Wieringa, Nicola Zannone

    Pocket

    769:-
  3. bokomslag International People's Tribunal for 1965 and the Indonesian Genocide

    International People's Tribunal for 1...

    Saskia Wieringa, Jess Melvin, Annie Pohlman, Saskia Wieringa, Annie Pohlman

    Pocket

    849:-
  4. bokomslag Refiguring Democracy

    Refiguring Democracy

    Ramón Feenstra, Simon Tormey, Andreu Casero-Ripollés, John Keane, Ramon Feenstra

    Pocket

    439:-
  5. bokomslag Atomic Scale Structure of Interfaces: Volume 159

    Atomic Scale Structure of Interfaces:...

    R D Bringans, R M Feenstra, J M Gibson, R D Bringans, R M Feenstra

    489:-
  6. bokomslag Refiguring Democracy

    Refiguring Democracy

    Ramón Feenstra, Simon Tormey, Andreu Casero-Ripollés, John Keane, Ramon Feenstra

    Inbunden

    1049:-
  7. bokomslag Silencing Cinema

    Silencing Cinema

    D Biltereyst, R Vande Winkel, Daniel Biltereyst, Roel Vande Winkel, R Vande Winkel

    Inbunden

    759:-
  8. bokomslag Environmental Protection: Public or Private Choice

    Environmental Protection: Public or P...

    D J Kraan, Roel J In 'T Veld, D J Kraan

    Pocket

    1519:-
  9. bokomslag Women's Sexualities and Masculinities in a Globalizing Asia

    Women's Sexualities and Masculinities...

    S Wieringa, E Blackwood, A Bhaiya, Saskia E Wieringa, Evelyn Blackwood

    Inbunden

    769:-
  10. bokomslag Creating Value with Data Analytics in Marketing

    Creating Value with Data Analytics in...

    Peter C Verhoef, Edwin Kooge, Natasha Walk, Jaap E Wieringa, Natasha Walk

    Inbunden

    3129:-

Andra av samma författare

  1. bokomslag Advanced Information Systems Engineering

    Advanced Information Systems Engineering

    Pascal Van Eck, Jaap Gordijn, Roel J Wieringa, Pascal Van Eck

    Pocket

    769:-
  2. bokomslag Design Science Methodology for Information Systems and Software Engineering

    Design Science Methodology for Inform...

    Roel J Wieringa

    Inbunden

    1259:-
  3. bokomslag Design Science Methodology for Information Systems and Software Engineering

    Design Science Methodology for Inform...

    Roel J Wieringa

    849:-