Formal Methods for Software Engineering

Languages, Methods, Application Domains

Roggenbach, Markus;Cerone, Antonio;Schlingloff, Bernd-Holger;Schneider, Gerardo;Shaikh, Siraj Ahmed | Autoři

Vše od Springer Nature Switzerland AG
ISBN: 9783030388027

Formal Methods for Software Engineering od autora Roggenbach, Markus;Cerone, Antonio;Schlingloff, Bernd-Holger;Schneider, Gerardo;Shaikh, Siraj Ahmed vydalo nakladatelství Springer Nature Switzerland AG s podtitulem Languages, Methods, Application Domains...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 615 Kč

1 - 2 ks
1 615 Kč
3 - 10 ks
1 599 Kč
11 a více ks
1 583 Kč

Naše cena 1 615 Kč je o 6 % nižší než
doporučená cena výrobce 1 719 Kč.

Předpoklad doručení do 11. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 615 Kč 1 719 Kč

Nepřehlédněte od Springer Nature Switzerland AG

Více o produktu

Výrobce
Springer Nature Switzerland AG
Jazyk
Switzerland
Autor
Roggenbach, Markus;Cerone, Antonio;Schlingloff, Bernd-Holger;Schneider, Gerardo;Shaikh, Siraj Ahmed
Rozměry
154 x 235 x 33
Rok vydání
2023
Počet stran
524
Obsah
Paperback / softback
Hmotnost
834
Počet stran
524 pages, 12 Illustrations, color; 35 Illustrations, black and white

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Formal Methods for Software Engineering a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!