Filtrera

Ämne
  • (9)
  • (1)
Format
  • (3)
  • (6)
Leveranstid
  • (3)

Keijiro Araki - Böcker

Visar alla böcker av Keijiro Araki. Handla med fri frakt och snabb leverans!

Sortering:

  1. IFM'99 E-bok

    av Keijiro Araki, Andy Galloway, Kenji Taguchi

    E-bok (PDF, LCP), Engelska, 2012-12-06
    1524
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    IFM'99

    Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For inst...

    Läs mer »

  2. IFM99

    av Keijiro Araki, Andy Galloway, Kenji Taguchi

    Häftad, Engelska, 1999-06-01
    1154
    Köp
    Skickas från oss inom 7-10 vardagar.
    IFM99

    Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For inst...

    Läs mer »

  3. RIMS Symposium on Software Science and Engineering II

    av Eiichi Goto, Keijiro Araki, Taiichi Yuasa

    Häftad, Engelska, 1986-05-01
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    RIMS Symposium on Software Science and Engineering II

    A fast parallel merging algorithm for 2¿3 trees.- Evaluation of graph representations with active nodes.- On equivalence transformations for term rewriting systems.- A portable logic simulation system for development of FLATS machine.- Partial com...

    Läs mer »

  4. Theoretical Aspects of Computing - ICTAC 2004

    av Zhiming Liu, Keijiro Araki

    Häftad, Engelska, 2005-03-01
    1154
    Köp
    Skickas från oss inom 7-10 vardagar.
    Theoretical Aspects of Computing - ICTAC 2004

    This volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 20-24 September 2004. ICTAC was founded by the International Institute for Software Techn...

    Läs mer »

  5. Theoretical Aspects of Computing - ICTAC 2004 E-bok

    av Zhiming Liu, Keijiro Araki

    E-bok (PDF, LCP), Engelska, 2005-02-22
    1524
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Theoretical Aspects of Computing - ICTAC 2004

  6. FME 2003: Formal Methods

    av Keijiro Araki, Stefania Gnesi, Dion Mandrioli

    Häftad, Engelska, 2003-08-01
    1154
    Köp
    Skickas från oss inom 7-10 vardagar.
    FME 2003: Formal Methods

    ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 814, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulat...

    Läs mer »

  7. High Performance Computing

    av Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya

    Häftad, Engelska, 1997-10-01
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    High Performance Computing

    This book constitutes the refereed proceedings of the International Symposium on High Performance Computing, ISHPC '97, held in Fukuoka, Japan in November 1997. The volume presents four distinguished papers and 16 revised regular papers selec...

    Läs mer »

  8. Formal Methods and Software Engineering

    av Shaoying Liu, Tom Maibaum, Keijiro Araki

    Häftad, Engelska, 2008-10-08
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods and Software Engineering

    Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic...

    Läs mer »

  9. Formal Methods and Software Engineering E-bok

    av Shaoying Liu, Tom Maibaum, Keijiro Araki

    E-bok (PDF, LCP), Engelska, 2008-10-18
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods and Software Engineering

    Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic...

    Läs mer »