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
  • Vyhledávání
  • Formalization of programming c...
  • 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

Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Colloquium on the Formalization of Programming Concepts Peniscola, Španělsko) (Autor)
Další autoři: Díaz, Josep, 1950- (Editor), Ramos Salavert, Isidro, 1943- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1981
Edice:Lecture notes in computer science ; 107
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
Fyzický popis:VII, 478 s.
ISBN:3-540-10699-5
0-387-10699-5

Podobné jednotky

  • Formal Description of Programming Concepts-III /
    Vydáno: (1987)
  • 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)
  • 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)
  • Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
    Vydáno: (2002)

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...