Dines bjørner u a (7 risultati)

Autore

Perfeziona la tua ricerca

  • Libri (7)

  • Nuovo (7)

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Inglese

      Editore: Springer, 2010

      3642093450 / 9783642093456

      • Brossura

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 140,10

      EUR 70,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 5 disponibili

      Taschenbuch. Condizione: Neu. Logics of Specification Languages | Dines Bjørner (u. a.) | Taschenbuch | Monographs in Theoretical Computer Science. An EATCS Series | xxii | Englisch | 2010 | Springer | EAN 9783642093456 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]ha

    • Altre immagini

      Lingua: Inglese

      Editore: Springer, 1996

      3540620648 / 9783540620648

      • Brossura
      • Print on Demand

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 50,25

      EUR 70,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 5 disponibili

      Taschenbuch. Condizione: Neu. Perspectives of System Informatics | Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings | Dines Bjørner (u. a.) | Taschenbuch | xix | Englisch | 1996 | Springer | EAN 9783540620648 | Verantwortliche Person für die EU: Springer

    • Lingua: Inglese

      Editore: Springer, 1987

      3540176543 / 9783540176541

      • Brossura
      • Print on Demand

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 50,25

      EUR 70,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 5 disponibili

      Taschenbuch. Condizione: Neu. VDM '87. VDM - A Formal Method at Work | VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings | Dines Bjørner (u. a.) | Taschenbuch | xi | Englisch | 1987 | Springer | EAN 9783540176541 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidel

    • Lingua: Inglese

      Editore: Springer, 1990

      3540525130 / 9783540525134

      • Brossura
      • Print on Demand

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 50,25

      EUR 70,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 5 disponibili

      Taschenbuch. Condizione: Neu. VDM '90. VDM and Z - Formal Methods in Software Development | Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | Dines Bjørner (u. a.) | Taschenbuch | xx | Englisch | 1990 | Springer | EAN 9783540525134 | Verantwortliche Person für die EU: Springer Verlag GmbH,

    • Altre immagini

      Lingua: Inglese

      Editore: Springer, 1993

      354057316X / 9783540573166

      • Brossura
      • Print on Demand

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 50,25

      EUR 70,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 5 disponibili

      Taschenbuch. Condizione: Neu. Formal Methods in Programming and Their Applications | International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings | Dines Bjørner (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540573166 | Verantwortliche Person für die EU: Springer Verlag Gm

    • Altre immagini

      Lingua: Inglese

      Editore: Springer, 1991

      3540541314 / 9783540541318

      • Brossura
      • Print on Demand

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 95,70

      EUR 70,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 5 disponibili

      Taschenbuch. Condizione: Neu. Baltic Computer Science | Selected Papers | Janis Barzdins (u. a.) | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540541318 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on D

    • Lingua: Inglese

      Editore: Springer, 2007

      3540741062 / 9783540741060

      • Rilegato
      • Print on Demand

      Da: preigu, Osnabrück, Germaniapreigu

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Nuovo

      EUR 141,20

      EUR 70,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 5 disponibili

      Buch. Condizione: Neu. Logics of Specification Languages | Dines Bjørner (u. a.) | Buch | xxii | Englisch | 2007 | Springer | EAN 9783540741060 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.