Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 1
bokomslag Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Data & IT

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Hartmut Ehrig • Christiane Floyd • Maurice Nivat • James Thatcher

Pocket

699:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

  • 459 sidor
  • 1985
  • Författare: Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
  • Format: Pocket/Paperback
  • ISBN: 9783540151999
  • Språk: Engelska
  • Antal sidor: 459
  • Utgivningsdatum: 1985-03-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Mathematical Foundations of Software ...

    Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

    Pocket

    579:-
  2. bokomslag Web Accessibility

    Web Accessibility

    Richard Rutter, Patrick H Lauke, Cynthia Waddell, Jim Thatcher, Shawn Lawton Henry

    Pocket

    1069:-
  3. bokomslag Software

    Software

    Christiane Floyd Peter Schnupp

    Klotband

    2059:-
  4. bokomslag Polnisches Deutsch - Deutsches Polnisch

    Polnisches Deutsch - Deutsches Polnisch

    Rahel Cerna-Willi, Jean-Philippe Jaccard, Georges Nivat, Jochen Ulrich Peters, German-Markus Ritz

    Pocket

    1399:-
  5. bokomslag Current Trends in Web Engineering

    Current Trends in Web Engineering

    Jesper Kjeldskov Quan Z Sheng

    Pocket

    749:-
  6. bokomslag Tendenz Und Verfremdung

    Tendenz Und Verfremdung

    Jochen-Ulrich Peters, Peter Brang, Georges Nivat, Daniel Weiss

    Pocket

    1559:-
  7. bokomslag Textinterferenz in Russisch-Deutschen Uebersetzungen

    Textinterferenz in Russisch-Deutschen...

    Sylvia Mathis, Peter Brang, Georges Nivat

    Pocket

    1289:-
  8. bokomslag Sustainable Energy in the Built Environment - Steps Towards nZEB

    Sustainable Energy in the Built Envir...

    Ion Visa

    2829:-
  9. bokomslag Seraph, Carevič, Narr

    Seraph, Carevič, Narr

    Christa Binswanger, Peter Brang, Georges Nivat, Daniel Weiss

    Pocket

    1269:-
  10. bokomslag Parallel Image Analysis: Theory And Applications

    Parallel Image Analysis: Theory And A...

    L S Davis, Katsushi Inoue, M Nivat, Azriel Rosenfeld, Patrick S P Wang

    Inbunden

    1639:-

Andra av samma författare

  1. bokomslag A Military Journal During The American Revolutionary War, From 1775 To 1783 - Describing Interesting Events And Transactions Of This Period; With Numerous Historical Facts And Anecdotes, From The

    A Military Journal During The America...

    James Thatcher

    Pocket

    749:-
  2. bokomslag Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Mathematical Foundations of Software ...

    Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

    Pocket

    579:-
  3. bokomslag TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

    TAPSOFT '87: Proceedings of the Inter...

    Hartmut Ehrig, Robert A Kowalski, Giorgio Levi, Ugo Montanari

    Pocket

    529:-
  4. bokomslag TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

    TAPSOFT '87: Proceedings of the Inter...

    Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

    Pocket

    529:-
  5. bokomslag Graph-Grammars and Their Application to Computer Science

    Graph-Grammars and Their Application ...

    Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld

    Pocket

    1429:-
  6. bokomslag CAAP '88

    CAAP '88

    Maurice Nivat Max Dauchet

    Pocket

    749:-
  7. bokomslag Algebraic Methodology and Software Technology (AMAST'93)

    Algebraic Methodology and Software Te...

    Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo

    Pocket

    749:-
  8. bokomslag Petri Net Technology for Communication-Based Systems

    Petri Net Technology for Communicatio...

    Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber

    Pocket

    719:-
  9. bokomslag Integration of Software Specification Techniques for Applications in Engineering

    Integration of Software Specification...

    Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif

    Pocket

    749:-
  10. bokomslag Graph Transformations

    Graph Transformations

    Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg

    Pocket

    719:-

Andra i serien

  1. bokomslag Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Mathematical Foundations of Software ...

    Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

    Pocket

    579:-