Cocktail II.

È uno strumento per la verifica statica formale dei programmi.
Scarica ora

Cocktail II. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Nome editore:
  • M.Franssen
  • Sistemi operativi:
  • Windows
  • Dimensione del file:
  • 32.4 MB

Cocktail II. Tag


Cocktail II. Descrizione

cocktail II (per mancanza di un nome migliore) è un progetto di follow-up di cocktail. È uno strumento per la verifica statica formale dei programmi. La lingua che è attualmente supportata è piccola, ma dimostra già alcune caratteristiche interessanti, come i tipi di dati ricorsivi. Condividi la tua esperienza: Scrivi una recensione su questo programma


Cocktail II. Software correlato

Itc.

Può leggere le informazioni di codifica dalla striscia magnetica delle carte. ...

0 N/A

Scarica

Pazzo sumz.

Crazy Sumz è una raccolta di quattro giochi basati su somme e numeri. ...

0 2.3 MB

Scarica

Chi siamo