Languages
Subject
Format
Availabity
Authors

Search result

Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Michael Leuschel et al, Elvinia Riccobene, Patrizia Scandurra - Rigorous State-Based Methods
Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Michael Leuschel et al, Elvinia Riccobene, Patrizia Scandurra Rigorous State-Based Methods English 26.07.2024 Paperback / Softback Fr. 103.00 1-2 weeks (title will be printed to order)
Michae Leuschel, Michael Leuschel, Wehrheim, Wehrheim, Heike Wehrheim - Integrated Formal Methods
Michae Leuschel, Michael Leuschel, Wehrheim, Wehrheim, Heike Wehrheim Integrated Formal Methods English 01.01.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
John Derrick, Joh Fitzgerald, John FitzGerald, John S. Fitzgerald, John Fitz-Gerald, Stefania Gnesi... - Abstract State Machines, Alloy, B, VDM, and Z
John Derrick, Joh Fitzgerald, John FitzGerald, John S. Fitzgerald, John Fitz-Gerald, Stefania Gnesi... Abstract State Machines, Alloy, B, VDM, and Z English 11.05.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ishikawa, Fuyuki Ishikawa, Michael Leuschel - Rigorous State-Based Methods
Ishikawa, Fuyuki Ishikawa, Michael Leuschel Rigorous State-Based Methods English Paperback / Softback Fr. 168.00 Will be released 02.07.2025