Registos relacionados: The Z notation :
- ZUM '95: The Z formal specification notation : 9th international conference : Konf. Limerick, Ireland, 7.- 9. Sept. 1995 /
- Notations for software design /
- Introduction to Computer science : An algorithmic approach. Pascal edition /
- An introduction to formal specification and Z /
- An introduction to computer science using Java
- Specification case studies /
Assunto: programovacie jazyky
Assunto: 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