Formal models in programming : Proceedings of the IFIP TC2 working conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985 /

Na minha lista:

Detalhes bibliográficos
Outros Autores:	Neuhold, Erich J (Compiler), Chroust, G (xxx)
Formato:	Livro
Idioma:	inglês
Publicado em:	Amsterdam : North-Holland, 1985
Edição:	1.vyd.
Assuntos:	programovanie formálne modely
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

View in STU Opac

Registos relacionados: Formal models in programming :

Quick Look
Formal models and semantics : Handbook of theoretical computer science. Volume B /
Quick Look
Discovering formal logic
Quick Look
A Contribution to comprehension model and presentation of Z specifications : Diz.práca:Obh. 29.4.1999
Quick Look
An Introduction to Formal Languages and Automata
Quick Look
Formal description of programming concepts : Proceedings of IFIP working conference : Konf. St.Andrews, Canada, 1.- 5. Aug. 1977 /
Quick Look
Programování pro samočinné počítače /
Quick Look
Formal methods for VLSI design /
Quick Look
Lectures on formal methods and performance analysis : First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 /
Quick Look
JFLAP : An Interactive Formal Languages and Automata Package
Quick Look
Formal development of programs and proofs /
Quick Look
Developmental Systems and Languages. /
Quick Look
Automata Theory: Machines and Languages. /
Quick Look
Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography /
Quick Look
Program specification a tranformation : Proccedings of the IFIP TC2/WG 2.1 working conference : Konf. Bad Tölz, DBR, 15.- 17. April 1986 /
Quick Look
Model building in mathematical programming
Quick Look
Programming concepts and methods : Proceedings of the IFIP working group 2.2./2.3 working conference : Konf. Sea of Galulee, Israel, 2.- 5. april 1990 /
Quick Look
Model Building in Mathematical Programming
Quick Look
Formálne jazyky a automaty /
Quick Look
An introduction to formal specification and Z /
Quick Look
Set theory : An introduction to independence proofs /
Quick Look
Languages and Machines : An Introduction to the Theory of Computer Science
Quick Look
Elements of the theory of computation
Quick Look
Discrete Dynamic Systems in Dual Language-Graph Formalism
Quick Look
Úvod do softvérových jazykov, príklady a úlohy /