Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

239,00 zł
+ 53,49 zł wysyłka
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marka: Unbranded
Sprzedawca:

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • Marka: Unbranded

239,00 zł

Tylko 1 zostało w magazynie
+ 53,49 zł wysyłka
Sprzedawca:

239,00 zł

Tylko 1 zostało w magazynie
+ 53,49 zł wysyłka

Akceptujemy następujące metody płatności

Opis

Software programs are formal entities with precise meanings independent of their programmers so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduatelevel introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours.
  • Marka: Unbranded
  • Kategoria: Komputery i Internet
  • Data wydania: 2023-06-24
  • Format: Paperback
  • Autor: Siraj Ahmed Shaikh
  • Język: English
  • Długość: 524
  • Wydawca / Wytwórnia płytowa: Springer Nature Swit
  • Identyfikator Fruugo: 339437055-744601969
  • ISBN: 9783030388027

Dostawa i zwroty

Wysyłka w ciągu 24 godzin

  • STANDARD: 53,49 zł - Dostawa między pt. 21 listopada 2025–pon. 01 grudnia 2025

Wysyłka z Wielka Brytania

Dokładamy wszelkich starań, aby zamówione produkty były dostarczane w całości i zgodnie z Państwa wymaganiami. Jeśli jednak otrzymają Państwo niekompletne zamówienie, przedmioty inne niż zamówione lub istnieje inny powód, dla którego nie są Państwo zadowoleni z zamówienia, mogą Państwo zwrócić zamówienie lub dowolne produkty objęte zamówieniem i otrzymać pełny zwrot kosztów za te przedmioty. Pokaż pełną politykę zwrotów