Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael, Butler [szerk.]; Klaus-Dieter, Schewe [szerk.]; Atif, Mashkoor [szerk.]; Miklos, Biro [Bíró, Miklós (Matematika és szá...), szerk.]

Angol nyelvű Tudományos Konferenciakötet (Könyv)
Megjelent: Springer International Publishing, Zürich, Svájc, 426 p. 2016
Konferencia: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Sorozatok: Lecture Notes in Computer Science 0302-9743 1611-3349, 9675
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-10-16 18:13