Acheter neuf

ou
Identifiez-vous pour activer la commande 1-Click.
Acheter d'occasion
D'occasion - Bon Voir les détails
Prix : EUR 39,33

ou
 
   
Plus de choix
Vous l'avez déjà ? Vendez votre exemplaire ici
Dites-le à l'éditeur :
J'aimerais lire ce livre sur Kindle !

Vous n'avez pas encore de Kindle ? Achetez-le ici ou téléchargez une application de lecture gratuite.

Formal Systems Specification: The RPC-Memory Specification Case Study [Anglais] [Broché]

Manfred Broy , Stephan Merz , Katharina Spies

Prix : EUR 105,49 Livraison à EUR 0,01 En savoir plus.
  Tous les prix incluent la TVA
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
En stock.
Expédié et vendu par Amazon. Emballage cadeau disponible.
Voulez-vous le faire livrer le lundi 2 mars ? Choisissez la livraison en 1 jour ouvré sur votre bon de commande. En savoir plus.
‹  Retourner à l'aperçu du produit

Dans ce livre (En savoir plus)
Première phrase
The problem calls for the specification and verification of a series of components. Lire la première page
Parcourir les pages échantillon
Couverture | Copyright | Table des matières | Extrait | Quatrième de couverture
Rechercher dans ce livre:

Concordance (En savoir plus)
Ce sont les mots les plus souvent utilisés dans ce livre.
actions  arguments  assumption  badarg  behavior  between  call  called  case  clerk  component  condition  constraints  define  defined  definition  denotes  diagram  does  element  end  events  exception  exists  fairness  fig  figure  first  following  follows  formal  formula  function  given  id  implementation  implies  input  interaction  interface  let  loc  location  logic  may  memory  model  module  must  name  now  number  occur  operation  parameter  part  predicate  problem  proc  procedure  process  program  proof  properties  read  refinement  relation  reliable  requirements  result  return  rpc  rpcfailure  section  sequence  set  since  solution  specification  specify  state  step  streams  structure  system  temporal  time  timed  trace  transition  true  two  type  use  used  val  value  variables  verification  write 
‹  Retourner à l'aperçu du produit