Formal Methods in Computer Science

Name: Formal Methods in Computer Science
Brand: Taylor & Francis Inc
SKU: 9781498775328
Price: 459.85 PLN
Availability: InStock

Autor: Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)

Język:

Oprawa: Miękka

Wydawca: Taylor & Francis Inc

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

459.85 zł

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and...

Informacje o książce

Autor

Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2019

strony

294

EAN

9781498775328

ISBN

1498775322

Enbook ID

21332610

Wydawca

Taylor & Francis Inc

Waga

470

Wymiary

231 x 156 x 24

Pełny opis

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fund

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods in Computer Science

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również