Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods for Software Engineering

Name: Formal Methods for Software Engineering
Brand: Springer Nature Switzerland AG
SKU: 25351972
Price: 48.0 EUR
Availability: InStock
Author: Markus Roggenbach
ISBN: 9783030387990

Languages, Methods, Application Domains

Markus Roggenbach

Antonio Cerone

Bernd-Holger Schlingloff

Gerardo Schneider

Siraj Ahmed Shaikh

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 25351972

Založba Springer Nature Switzerland AG, junij 2022

This is a graduate-level introduction to formal methods. The first part presents two formal language... Celoten opis

Koda Libristo: 25351972

116 b

48.00 €

Na zalogi pri dobavitelju Odposlali bomo v 10-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G

Mehka

17.51 €

Pâtisserie simplement naturelle Benoît Castel

Trda

28.35 €

10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin

Trda

10.42 €

Si Jamais Sauzet

Mehka

16.70 €

Koszulka na dokumenty A4 100 sztuk krystaliczna

Pisarniški material

2.52 €

Rodina a škola Pracovní sešit 2 Cemerková Golová Petra

Mehka

1.91 €

Pozvání k překladatelské praxi Veronika Havlíková

Mehka

7.28 €

This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods for formal development of software. Building on the foundations from the first part, the reader is allowed to embrace methods for practical applications. The reader will find the examples cutting across chapters valuable for this purpose. The final section takes the reader further into application domains.