Formal Description Techniques VIII 1
bokomslag Formal Description Techniques VIII
Data & IT

Formal Description Techniques VIII

Gregor Von Bochmann • Rachida Dssouli • Omar Rafiq

Inbunden

3899:-

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

Uppskattad leveranstid 7-11 arbetsdagar

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

  • 452 sidor
  • 1996
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
  • Författare: Gregor Von Bochmann, Rachida Dssouli, Omar Rafiq
  • Illustratör: 452 p XIV
  • Format: Inbunden
  • ISBN: 9780412732706
  • Språk: Engelska
  • Antal sidor: 452
  • Utgivningsdatum: 1996-01-01
  • Förlag: Chapman and Hall

Du kanske gillar

  1. bokomslag Experimental Design

    Experimental Design

    Paul D Berger, Robert E Maurer, Giovana B Celli

    Pocket

    2459:-
  2. bokomslag Testing of Communicating Systems

    Testing of Communicating Systems

    Rachida Dssouli Ferhat Khendek

    Pocket

    989:-
  3. bokomslag Computer Aided Verification

    Computer Aided Verification

    David K Probst Gregor Von Bochmann

    Pocket

    989:-
  4. bokomslag Carbon Management for Promoting Local Livelihood in the Hindu Kush Himalayan (HKH) Region

    Carbon Management for Promoting Local...

    Zhanhuan Shang, A Allan Degen, Muhammad Khalid Rafiq, Victor R Squires

    Inbunden

    2299:-
  5. bokomslag Noninvasive Molecular Markers in Gynecologic Cancers

    Noninvasive Molecular Markers in Gyne...

    Mehmet Gunduz Debmalya Barh

    Inbunden

    3189:-
  6. bokomslag The Filmmaker's Book of the Dead

    The Filmmaker's Book of the Dead

    Danny Draven

    Inbunden

    2979:-
  7. bokomslag Concepts for Distributed Systems Design

    Concepts for Distributed Systems Design

    G Von Bochmann

    Pocket

    989:-
  8. bokomslag Tipps für die Oberfräse - 150 Zusatzvorrichtungen zum Nachbauen. 450 Detailzeichnungen

    Tipps für die Oberfräse - 150 Zusatzv...

    Richard Wagner

    229:-
  9. Ny
    bokomslag Dr. Senckenbegs Bilderschatz

    Dr. Senckenbegs Bilderschatz

    Corinna Gannon

    Inbunden

    759:-
  10. bokomslag Carbon Management for Promoting Local Livelihood in the Hindu Kush Himalayan (HKH) Region

    Carbon Management for Promoting Local...

    Zhanhuan Shang, A Allan Degen, Muhammad Khalid Rafiq, Victor R Squires

    Pocket

    1779:-

Andra av samma författare

  1. bokomslag Testing of Communicating Systems

    Testing of Communicating Systems

    Hasan Ural, Robert L Probert, Gregor Von Bochmann

    Inbunden

    4009:-
  2. bokomslag Testing of Communicating Systems

    Testing of Communicating Systems

    Hasan Ural, Robert L Probert, Gregor Von Bochmann

    Pocket

    4009:-
  3. bokomslag Emerging Technologies for Developing Countries

    Emerging Technologies for Developing ...

    Fatna Belqasmi, Hamid Harroud, Max Agueh, Rachida Dssouli, Faouzi Kamoun

    Pocket

    989:-
  4. bokomslag Testing of Communicating Systems

    Testing of Communicating Systems

    Rachida Dssouli Ferhat Khendek

    Pocket

    989:-
  5. bokomslag Computer Aided Verification

    Computer Aided Verification

    David K Probst Gregor Von Bochmann

    Pocket

    989:-