Free Choice Petri Nets 1
bokomslag Free Choice Petri Nets
Vetenskap & teknik

Free Choice Petri Nets

Jorg Desel • Javier Esparza • Jorg Desel • Javier Esparza • C J Van Rijsbergen

Pocket

679:-

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

  • 256 sidor
  • 2005
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.
  • Författare: Jorg Desel, Javier Esparza, Jorg Desel, Javier Esparza, C J Van Rijsbergen
  • Format: Pocket/Paperback
  • ISBN: 9780521019453
  • Språk: Engelska
  • Antal sidor: 256
  • Utgivningsdatum: 2005-09-08
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Finite and Algorithmic Model Theory

    Finite and Algorithmic Model Theory

    Javier Esparza, Christian Michaux, Charles Steinhorn, Javier Esparza, Charles Steinhorn

    Pocket

    1119:-
  2. bokomslag SIGIR '94

    SIGIR '94

    W Bruce Croft, Cornelis Joost Van Rijsbergen, C J Van Rijsbergen, Bruce Croft, C J Van Rijsbergen

    Pocket

    1459:-
  3. bokomslag State Violence and Genocide in Latin America

    State Violence and Genocide in Latin ...

    Marcia Esparza, Henry R Huttenbach, Daniel Feierstein, Marcia Esparza, Henry R Huttenbach

    Pocket

    859:-
  4. bokomslag Computational Learning Theory

    Computational Learning Theory

    M H G Anthony, N Biggs, M H G Anthony, Norman L Biggs, C J Van Rijsbergen

    Pocket

    699:-
  5. bokomslag Bill Brandt

    Bill Brandt

    Maude De La Forterie, Bill Brandt, Nigel Warburton, Ramon Esparza

    Inbunden

    819:-
  6. bokomslag Information Flow

    Information Flow

    Jon Barwise, Jerry Seligman, Jon Barwise, Whatley, C J Van Rijsbergen

    Inbunden

    1259:-
  7. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen

    Pocket

    869:-
  8. bokomslag Theoretical Foundations of VLSI Design

    Theoretical Foundations of VLSI Design

    K Mcevoy, J V Tucker, K Mcevoy, C J Van Rijsbergen, C J Van Rijsbergen

    Pocket

    1059:-
  9. bokomslag The Optimal Implementation of Functional Programming Languages

    The Optimal Implementation of Functio...

    Andrea Asperti, Stefano Guerrini, Andrea Asperti, C J Van Rijsbergen, C J Van Rijsbergen

    Inbunden

    1439:-
  10. bokomslag Application and Theory of Petri Nets 1998

    Application and Theory of Petri Nets ...

    J Desel, Manuel Silva, Jörg Desel, Manuel Silva

    Pocket

    739:-

Andra av samma författare

  1. bokomslag Automata Theory

    Automata Theory

    Michael Blondin Javier Esparza

    Inbunden

    1279:-
  2. bokomslag Programs, Recursion and Unbounded Choice

    Programs, Recursion and Unbounded Choice

    Wim H Hesselink, Hesselink Wim H, C J Van Rijsbergen

    Pocket

    779:-
  3. bokomslag Nets, Terms and Formulas

    Nets, Terms and Formulas

    E-R Olderog, E R Olderog, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    779:-
  4. bokomslag Two-Level Functional Languages

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, Flemming Nielson, Hanne Riis Nielson, C J Van Rijsbergen

    Pocket

    869:-
  5. bokomslag Extensions of First-Order Logic

    Extensions of First-Order Logic

    Maria Manzano, Maria Manzano, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    1219:-
  6. bokomslag The Logic of Typed Feature Structures

    The Logic of Typed Feature Structures

    Robert L Carpenter, Bob Carpenter, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    779:-
  7. bokomslag Deductive and Declarative Programming

    Deductive and Declarative Programming

    Peter Padawitz, P Padawitz, C J Van Rijsbergen

    Pocket

    779:-
  8. bokomslag The Uncertain Reasoner's Companion

    The Uncertain Reasoner's Companion

    J B Paris, J B Paris, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    829:-
  9. bokomslag Logic and Computation

    Logic and Computation

    Lawrence C Paulson, Lawrence C Paulson, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    949:-
  10. bokomslag Formal Methods in Artificial Intelligence

    Formal Methods in Artificial Intellig...

    Allan M Ramsay, Allan Ramsay, C J Van Rijsbergen, C J Van Rijsbergen, Samson Abramsky

    Pocket

    699:-