Bengt Jonsson – författare

Visar alla böcker från författaren Bengt Jonsson. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   28 kända psalmer arrangerade för sologitarr

   Av Kenneth Holmström, Bengt Jonsson

   Häftad, 2003

   160 kr

   Lägg i varukorg

   Psalmer för Gitarr är ett häfte med 28 av våra mest kända psalmer arrangerade för sologitarr. Psalmerna är hämtade ur psalmbokens "ekumeniska" del som är gemensam för de flesta svenska kristna samfund. I häftet hittar du psalmer som: Blott en dag Tryggare kan ingen vara Den Blomstertid nu kommer En …

2. 

   Model-Based Testing of Reactive Systems

   Advanced Lectures

   Av Manfred Broy, Bengt Jonsson m. fl.

   Häftad, 2005

   567 kr

   Lägg i varukorg

   Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …

3. 

   Model-Based Testing of Reactive Systems

   Advanced Lectures

   Av Alexander Pretschner, Martin Leucker m. fl.

   E-bok, 2005

   755 kr

   Lägg i varukorg

   Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …

4. 

   CONCUR '94: Concurrency Theory

   5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings

   Av Joachim Parrow, Bengt Jonsson

   E-bok, 2006

   755 kr

   Lägg i varukorg

   This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR ''94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of …

5. 

   CONCUR '94: Concurrency Theory

   5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings

   Av Bengt Jonsson, Joachim Parrow

   Häftad, 1994

   567 kr

   Lägg i varukorg

   This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the …

6. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

   Av Bengt Jonsson, Joachim Parrow

   Häftad, 1996

   567 kr

   Lägg i varukorg

   This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.The 22 revised full papers presented were selected from a total of 61 submissions; also …