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

Formal Description Techniques VIII

Gregor Von Bochmann • Rachida Dssouli • Omar Rafiq • Gregor Von Bochmann • Gregor Von Bochmann

Inbunden

2839:-

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

  • 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, Gregor Von Bochmann, Gregor Von Bochmann
  • Format: Inbunden
  • ISBN: 9780412732706
  • Språk: Engelska
  • Antal sidor: 452
  • Utgivningsdatum: 1996-01-31
  • Förlag: Chapman and Hall

Du kanske gillar

  1. bokomslag Advanced Inorganic Chemistry

    Advanced Inorganic Chemistry

    F Albert Cotton, Geoffrey Wilkinson, Carlos A Murillo, Manfred Bochmann, F Albert Cotton

    Inbunden

    2709:-
  2. bokomslag Advances in Production Management Systems. Smart Manufacturing and Logistics Systems: Turning Ideas into Action

    Advances in Production Management Sys...

    Duck Young Kim, Gregor Von Cieminski, David Romero, Gregor Von Cieminski, Gregor Von Cieminski

    Inbunden

    1479:-
  3. bokomslag Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems

    Advances in Production Management Sys...

    Alexandre Dolgui, Alain Bernard, David Lemoine, Gregor Von Cieminski, David Romero

    Inbunden

    2269:-
  4. bokomslag SDL '99

    SDL '99

    R Dssouli, G V Bochmann, Y Lahav, G V Bochmann

    Inbunden

    1959:-
  5. bokomslag Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing

    Advances in Production Management Sys...

    Ilkyeong Moon, Gyu M Lee, Jinwoo Park, Dimitris Kiritsis, Gregor Von Cieminski

    Inbunden

    1479:-
  6. bokomslag Advances in Production Management Systems. Smart Manufacturing and Logistics Systems: Turning Ideas into Action

    Advances in Production Management Sys...

    Duck Young Kim, Gregor Von Cieminski, David Romero, Gregor Von Cieminski

    Pocket

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

    1859:-
  8. bokomslag Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments

    Advances in Production Management Sys...

    Matthias Thürer, Ralph Riedel, Gregor Von Cieminski, David Romero, Gregor Von Cieminski

    Inbunden

    1989:-
  9. bokomslag Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures

    Advances in Production Management Sys...

    Erlend Alfnes, Anita Romsdal, Jan Ola Strandhagen, Gregor Von Cieminski, David Romero

    Inbunden

    2269:-
  10. bokomslag Advances in Production Management Systems. Towards Smart and Digital Manufacturing

    Advances in Production Management Sys...

    Bojan Lalic, Vidosav Majstorovic, Ugljesa Marjanovic, Gregor Von Cieminski, David Romero

    Inbunden

    1439:-

Andra av samma författare

  1. bokomslag Testing of Communicating Systems

    Testing of Communicating Systems

    Hasan Ural, Robert L Probert, Gregor Von Bochmann

    Pocket

    2839:-
  2. bokomslag Emerging Technologies for Developing Countries

    Emerging Technologies for Developing ...

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

    Pocket

    749:-
  3. bokomslag Testing of Communicating Systems

    Testing of Communicating Systems

    Rachida Dssouli Ferhat Khendek

    Pocket

    749:-
  4. bokomslag Computer Aided Verification

    Computer Aided Verification

    Gregor Von Bochmann, David K Probst, Gregor Von Bochmann

    Pocket

    729:-