Přeskočit na obsah
  • Váš účet
  • Odhlásit
  • Přihlášení
  • English
Informace o aktuálním provozu knihoven sledujte na jejich stránkách.
  • Pokročilé vyhledávání
  • Pokročilé vyhledávání
  • Filtr e-prezenčka
  • Formal Description of Programm...
  • Popis
  • Citace.com
  • Citace.com

  • Poslat emailem
  • Exportovat záznam
    • Exportovat do RefWorks
    • Exportovat do EndNoteWeb
    • Exportovat do EndNote
    • Exportovat do MARC
    • Exportovat do MARCXML
    • Exportovat do RDF
    • Exportovat do BibTeX
    • Exportovat do RIS
  • Do oblíbených

Formal Description of Programming Concepts-III /

Uloženo v:
Podrobná bibliografie
Korporativní autor: IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts-III Ebberup, Dánsko) (Autor)
Další autoři: Wirsing, Martin, 1948- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Amsterdam : Elsevier Science Publishers, 1987
Témata:
výpočetní technika
computer science
sborníky konferencí
proceedings of conferences
Obálka Obsah Přejít na ObalkyKnih.cz
  • Jednotky
  • Popis
  • MARC21
Popis
Popis jednotky:Jm. rejstř.
Fyzický popis:453 s.
Bibliografie:Bibliogr. na konci kap.
ISBN:0-444-70253-9

Podobné jednotky

  • Formal Description of Programming Concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N. B., Canada, August 1-5, 1977 /
    Vydáno: (1978)
  • Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
    Vydáno: (1981)
  • The Formal Description Technique Lotos : results of the ESPRIT/SEDOS Projekt /
    Vydáno: (1989)
  • A programming approach to formal methods /
    Autor: Casey, Chris
    Vydáno: (1994)
  • Formal semantics of programming languages : courant computer science symposium : September 14-16, 1970 /
    Vydáno: (1972)

Možnosti vyhledávání

  • Historie vyhledávání
  • Abecední procházení
  • Nové tituly v katalogu

Objevte více

  • Portál elektronických zdrojů MU
  • Discovery.muni
  • Databáze závěrečných prací (IS MU)
  • Knihovny MU

Hledáte pomoc?

  • Tipy pro vyhledávání
  • Registrace do knihovny
  • Návod k E-prezenčce
  • Ochrana osobních údajů
© 2019 Masarykova univerzita
kic_admins zavinac | at ics tecka | dot muni tecka | dot cz | Cookies
Logo Ústavu výpočetní techniky
Načítá se...