Computer Safety, Reli...Computer Safety, Reliability, and...

Springer

新品 ¥9,717

Functional and Logic ...Functional and Logic Programming

Oleg Kiselyov, ...

新品 ¥7,971

Concurrent Constraint...Concurrent Constraint Programming

Vijay A. Saraswat

SysML in Action with ...SysML in Action with Cameo System...

Olivier Casse

新品 ¥15,955

Decision ProceduresDecision Procedures

Daniel Kroening...

新品 ¥9,691

Reasoning and Unifica...Reasoning and Unification over Co...

Dan Corbett

新品 ¥20,317
プライバシーについて