Verifiable Autonomous Systems Autor Louise A Dennis et al. 8 iun 2023 Hardback Preț: 493.31 lei 616.63 lei 6-8 săpt. -20%
Advances in Temporal Logic Applied Logic Series, nr. 16 Editat de Howard Barringer et al. 8 dec 2010 Paperback Preț: 915.43 lei 1116.37 lei 6-8 săpt. -18%