Ga door naar de inhoud
CAVAL Home
  • Start Over
  • Jouw account
  • Uitloggen
  • Aanmelden
  • Taal
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Geavanceerd
  • Zoeken
  • Algebraic methods :
  • Citeren
  • SMS dit
  • Versturen
  • Afdrukken
  • Exporteer Record
    • Exporteer naar RefWorks
    • Exporteer naar EndNoteWeb
    • Exporteer naar EndNote
  • Toevoegen aan favorieten
  • Permalink
Algebraic methods : theory, tools, and applications /

Algebraic methods : theory, tools, and applications /

Bewaard in:
Bibliografische gegevens
Andere auteurs: Wirsing, M. (Martin), Bergstra, J. A.
Formaat: Boek
Taal:English
Gepubliceerd in: Berlin ; New York : Springer-Verlag, c1989.
Reeks:Lecture notes in computer science ; 394.
Onderwerpen:
Computer software > Development > Congresses.
Algebra > Congresses.
  • Exemplaren
  • Omschrijving
  • Personeel

CARM 1 Store

Exemplaargegevens van CARM 1 Store
Plaatsingsnummer: A2:AM07E0 C05492
Kopie 1 Beschikbaar  Plaats een reservatie

Gelijkaardige items

  • Algebraic methods II : theory, tools, and applications /
    Gepubliceerd in: (1991)
  • Software development tools /
    Gepubliceerd in: (1980)
  • FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
    Gepubliceerd in: (1994)
  • FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings /
    Gepubliceerd in: (1996)
  • Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 /
    Gepubliceerd in: (1986)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map