|
/* Title: HOL/SPARK/Tools/spark.scala
Author: Makarius
Scala support for HOL-SPARK.
*/
package isabelle.spark
import isabelle._
object SPARK
{
class Load_Command1 extends Command_Span.Load_Command("spark_vcg")
{
override val extensions: List[String] = List("vcg", "fdl", "rls")
}
class Load_Command2 extends Command_Span.Load_Command("spark_siv")
{
override val extensions: List[String] = List("siv", "fdl", "rls")
}
}
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.18Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
