B Method

Jean-Louis Boulanger

Bog

Format
Bog, hardback
Engelsk

Normalpris: kr. 799,95

Medlemspris: kr. 759,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: Endnu ikke udkommet. Kan endnu ikke købes
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal300
Udgivelsesdato01-12-2029
ISBN139781785481567
Forlag ISTE Press Ltd - Elsevier Inc
FormatHardback

Størrelse og vægt

10 cm

15,1 cm

22,9 cm

Findes i disse kategorier...

Se andre, der handler om...

Railway B-method Semantic

Velkommen til Saxo – din danske boghandel

Hos os kan du handle som gæst, Saxo-bruger eller Saxo-medlem – du bestemmer selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

Om medlemspriser hos Saxo

For at købe bøger til medlemspris skal du være medlem af Saxo Premium, Saxo Shopping eller Saxo Ung. De første 7 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.