Similar Items: Formal description of programming concepts :
- 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 /
- Program specification a tranformation : Proccedings of the IFIP TC2/WG 2.1 working conference : Konf. Bad Tölz, DBR, 15.- 17. April 1986 /
- Formal development of programs and proofs /
- Unifying theories of programming
- Notations for software design /
- ACM SIGPLAN '96 conference on programing language desing and implementation : Konf. PLDI, Philadephia, USA, 21.- 24. May 1996
Topic: programovanie
- Možnosti a metódy v programovaní priemyselných robotov
- Programovanie elektrického chápadla LEHF20K2-48-R5 na základe zvoleného typu súčiastkovej základne
- Vplyv CNC zariadení na proces trvalého zlepšovania v spoločnosti Hammerbacher SK : Diplomová práca
- Návrh a realizácia systému spojitej regulácie automatického plynového kotla pomocou programovateľného relé Teco : Diplomová práca
- PID regulácia v prostredí STEP7
- Simulácia konštrukčného riešenia automatizovanej zváracej bunky pomocou simulačného software Robcad
Topic: metodológia programovania
- Program specification a tranformation : Proccedings of the IFIP TC2/WG 2.1 working conference : Konf. Bad Tölz, DBR, 15.- 17. April 1986 /
- Formal description of programming concepts : Proceedings of IFIP working conference : Konf. St.Andrews, Canada, 1.- 5. Aug. 1977 /
- Notations for software design /
- 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 /
- Software design techniques for large ADA systems /
- Generátor aplikačných programov informačného systému : Kand.diz.práca : V.odb. 26-17-9 : Obh. 03.05.1990 /
Author: Neuhold, Erich J
- Formal description of programming concepts : Proceedings of IFIP working conference : Konf. St.Andrews, Canada, 1.- 5. Aug. 1977 /
- Formal models in programming : Proceedings of the IFIP TC2 working conference : Konf. Vienna, Austria, 30. Jan. - 1. Febr. 1985 /
- Specification and design of software systems : Conference on operating systems. Visegrad, Hungary 23.- 27. Jan. 1982 /