Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

NOK 799,00
+ NOK 148,49 i frakt

Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

Solgt av:
  • product image

NOK 799,00

På lager
+ NOK 148,49 i frakt

14-dagers returpolicy

Betalingsmåter:

  • Merke: Unbranded
Produktdetaljer

Produktdetaljer

Formal Methods For Software Engineering Languages Methods Application Doma - Markus Roggenbach

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 Graduate-level 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.
  • Merke: Unbranded
  • Kategori: Databehandling & internett
  • Antall sider: 556
  • Format: Paperback
  • Forlag / Selskap: Springer Nature B.V
  • Publiseringsdato: 2023-06-24
  • Forfatter: Markus Roggenbach
  • Språk: English
  • Fruugo-ID: 225635906-481541405
  • ISBN: 9783030388027
Levering

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 148,49 - Levering mellom kl tor. 15 oktober 2026–ons. 21 oktober 2026

Sendes fra Storbritannia.

Retur

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur