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

NOK 409,00
+ NOK 160,99 i frakt

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

Solgt av:
  • product image

NOK 409,00

På lager
+ NOK 160,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. The Second Part Offers Specification And Testing Methods For Formal Development Of Software, Based On The Modelling Languages Casl And Uml.
  • Merke: Unbranded
  • Kategori: Databehandling & internett
  • Antall sider: 556
  • Format: Paperback
  • Forlag / Selskap: Springer Nature B.V
  • Forfatter: Markus Roggenbach
  • Språk: English
  • Fruugo-ID: 225635906-481541405
  • ISBN: 9783030388027

Leveranse

Sendes i løpet av 24 timer

  • STANDARD: NOK 160,99 - Levering mellom kl man. 10 august 2026–fre. 14 august 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