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

NOK 549,00
+ NOK 245,99 i frakt

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

Solgt av:
  • product image

NOK 549,00

På lager
+ NOK 245,99 i frakt

14-dagers returpolicy

Betalingsmåter:

  • Merke: Unbranded

Beskrivelse

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: Hardcover
  • Forlag / Selskap: Springer Nature B.V
  • Publiseringsdato: 2022-06-23
  • Forfatter: Markus Roggenbach
  • Språk: English
  • Fruugo-ID: 469763682-983718603
  • ISBN: 9783030387990

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 245,99 - Levering mellom kl man. 31 august 2026–fre. 04 september 2026

Sendes fra Storbritannia.

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