Documenti analoghi: Program specification a tranformation :
- 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 /
- Formal description of programming concepts : Proceedings of IFIP working conference : Konf. St.Andrews, Canada, 1.- 5. Aug. 1977 /
- 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
- Formal development of programs and proofs /
Soggetto: 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
Soggetto: 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 /